Author: Symposium on Generalized Recursion Theory (1977 University of Oslo)