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