Generalized Recursion Theory II
Subtitle: Proceedings of the 1977 Oslo Symposium (Studies in Logic and the Foundations of Mathematics, V. 94)
Contributors: Jens Erik Fenstad (Editor); R. O. Gandy (Editor); Gerald E. Sacks (Editor)
Publisher: Elsevier Science Ltd
Published: August 1978
Language: eng
Number of pages: 417
ISBN-13: 9780444851635