Generalized recursion theory : proceedings of the 1977 Oslo symposium - Symposium on Generalized Recursion Theory 1977 : Oslo); Fenstad, J. E; Gandy, R. O; Sacks, G. E (Amsterdam : North-Holland Pub., 1978)
Keywords: Recursion theory