Recursion, metarecursion, and inclusion
Journal of Symbolic Logic 32 (2):173-179 (1967)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,875 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesWolfgang Maass (1978). Contributions to [Alpha]- and [Beta]-Recursion Theory. Minerva-Publikation.
Dag Normann (1980). Recursion on the Countable Functionals. Springer-Verlag.
Jens Erik Fenstad & Peter G. Hinman (eds.) (1974). Generalized Recursion Theory. New York,American Elsevier Pub. Co..
Anil Nerode & Richard A. Shore (eds.) (1985). Recursion Theory. American Mathematical Society.
Raymond M. Smullyan (1993). Recursion Theory for Metamathematics. Oxford University Press.
James C. Owings (1973). Diagonalization and the Recursion Theorem. Notre Dame Journal of Formal Logic 14 (1):95-99.
Steven M. Rosen (2004). What is Radical Recursion? SEED Journal 4 (1):38-57.
Uwe Petersen (2000). Logic Without Contraction as Based on Inclusion and Unrestricted Abstraction. Studia Logica 64 (3):365-403.
Robin Barrow (2001). Inclusion Vs. Fairness. Journal of Moral Education 30 (3):235-242.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads1 ( #277,212 of 556,837 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
