Generalized recursion theory : proceedings of the 1977 Oslo symposium - Symposium on Generalized Recursion Theory (1972: Oslo); Fenstad, J. E; Hinman, P. G (Amsterdam : North-Holland Pub., 1974)
Includes bibliographical references and index
Keywords: Recursion theory