Symposium on Generalized Recursion Theory, Oslo 1972