Generalized recursion theory proceedings of the 1972 Oslo symposium
Symposium on Generalized Recursion Theory1972University of Oslo.
Fenstad, Jens Erik.
Hinman, Peter G.
Amsterdam London North-Holland Publishing Co. [etc.]
1974
Symposium held June 12-16, 1972
Includes bibliographies and index
Recursive functions.