Generalized recursion theory : proceedings of the 1977 Oslo symposium /
edited by J. E. Fenstad, R. O. Gandy and G. E. Sacks
- Amsterdam : North-Holland Pub., c1978
- vii, 417 p. ; 23 cm.
- Studies in logic and the foundations of mathematics ; v. 94 .