Generalized recursion theory. Proceedings of the 1972 Oslo symposium (North Holland, 1974)