General Recursion Theory: An Axiomatic Approach
Springer-Verlag (1980)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | Recursion theory | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Buy the book | $34.95 used Amazon page | |||||||||
| Call number | QA9.6.F46 | |||||||||
| ISBN(s) | 0387093494 | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links | This entry has no external links. Add one. |
| Through your library | Configure |
Similar books and articlesDag Normann (1980). Recursion on the Countable Functionals. Springer-Verlag.
C.-T. Chong (1984). Techniques of Admissible Recursion Theory. Springer-Verlag.
Herbert B. Enderton (2011). Computability Theory: An Introduction to Recursion Theory. Academic Press.
Wolfgang Maass (1978). Contributions to [Alpha]- and [Beta]-Recursion Theory. Minerva-Publikation.
Anil Nerode & Richard A. Shore (eds.) (1985). Recursion Theory. American Mathematical Society.
Raymond M. Smullyan (1993). Recursion Theory for Metamathematics. Oxford University Press.
Jens Erik Fenstad, R. O. Gandy & Gerald E. Sacks (eds.) (1978). Generalized Recursion Theory Ii: Proceedings of the 1977 Oslo Symposium. Sole Distributors for the U.S.A. And Canada, Elsevier North-Holland.
Simon Thompson (1985). Axiomatic Recursion Theory and the Continuous Functionals. Journal of Symbolic Logic 50 (2):442-450.
Jens Erik Fenstad & Peter G. Hinman (eds.) (1974). Generalized Recursion Theory. New York,American Elsevier Pub. Co..
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
