Generalized recursion theory

& (eds.)
New York,: American Elsevier Pub. Co. (1974)
  Copy   BIBTEX

Abstract

Provability, Computability and Reflection

Categories

Keywords

Reprint years

Call number

QA9.6.S95 1972

ISBN(s)

044410545X

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,423

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Techniques of admissible recursion theory.C.-T. Chong - 1984 - New York: Springer Verlag.
Axiomatic recursion theory and the continuous functionals.Simon Thompson - 1985 - Journal of Symbolic Logic 50 (2):442-450.
Recursion theory for metamathematics.Raymond Merrill Smullyan - 1993 - New York: Oxford University Press.
Generalized recursion theory II: proceedings of the 1977 Oslo symposium.Jens Erik Fenstad, R. O. Gandy & Gerald E. Sacks (eds.) - 1978 - New York: sole distributors for the U.S.A. and Canada, Elsevier North-Holland.
Recursion-theoretic hierarchies.Peter G. Hinman - 1978 - New York: Springer Verlag.
Recursion theory.Anil Nerode & Richard A. Shore (eds.) - 1985 - Providence, R.I.: American Mathematical Society.
Computability Theory: An Introduction to Recursion Theory.Herbert B. Enderton - 2010 - Academic Press.
Contributions to [alpha]- and [beta]-recursion theory.Wolfgang Maass - 1978 - Mùˆnchen: Minerva-Publikation.
Computability, enumerability, unsolvability: directions in recursion theory.S. B. Cooper, T. A. Slaman & S. S. Wainer (eds.) - 1996 - New York: Cambridge University Press.
General recursion theory: an axiomatic approach.Jens Erik Fenstad - 1980 - New York: Springer Verlag.

Analytics

Added to PP
2009-01-28

Downloads
16 (#886,588)

6 months
3 (#1,002,413)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references