Generalized recursion theory II
Subtitle: proceedings of the 1977 Oslo symposium
By: edited by J. E. Fenstad, R. O. Gandy, G. E. Sacks.
Contributors: Fenstad, Jens Erik.; Gandy, R. O.; Sacks, Gerald E.
Series: Studies in logic and the foundations of mathematics ;; v. 94
Publisher: North-Holland Pub. Co.; sole distributors for the U.S.A. and Canada, Elsevier North-Holland
Published: 1978
Place of publication: Amsterdam; New York; New York
Language: eng
Number of pages: 417
Subjects: Recursion theory -- Congresses.