Generalized recursion theory Proceedings of the 1972 Oslo symposium. - Fenstad, Jens Erik.; Hinman, Peter G. (Studies in logic and the foundations of mathematics,)