Recursion theory
By: [edited by Anil Nerode, Richard A. Shore].
Contributors: Nerode, Anil, 1932-; Shore, Richard A., 1946-; American Mathematical Society.; Association for Symbolic Logic.; AMS-ASL Summer Institute on Recursion Theory (1982 : Cornell University)
Series: Proceedings of symposia in pure mathematics ;; v. 42
Publisher: American Mathematical Society
Published: 1985
Place of publication: Providence, R.I
Language: eng
Number of pages: 528
Subjects: Recursion theory.
Notes: Includes bibliographies.
"Proceedings of the AMS-ASL Summer Institute on Recursion Theory, held at Cornell University, Ithaca, New York, June 28-July 16, 1982"--T.p. verso.