Formal Systems and Recursive Functions
Michael Dummett & J. N. Crossley (eds.)
North Holland (1963)
| 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,664 |
| External links | This entry has no external links. Add one. |
| Through your library | Configure |
Similar books and articlesToshiyasu Arai (1998). Variations on a Theme by Weiermann. Journal of Symbolic Logic 63 (3):897-925.
Robert A. Di Paola (1981). A Lift of a Theorem of Friedberg: A Banach-Mazur Functional That Coincides with No Α-Recursive Functional on the Class of Α-Recursive Functions. Journal of Symbolic Logic 46 (2):216 - 232.
G. L. McColm (1989). Some Restrictions on Simple Fixed Points of the Integers. Journal of Symbolic Logic 54 (4):1324-1345.
Zlatan Damnjanovic (1995). Minimal Realizability of Intuitionistic Arithmetic and Elementary Analysis. Journal of Symbolic Logic 60 (4):1208-1241.
Stanley S. Wainer (1999). Accessible Recursive Functions. Bulletin of Symbolic Logic 5 (3):367-388.
Saul A. Kripke (1963). Semantical Analysis of Intuitionistic Logic I. In Michael Dummett & J. N. Crossley (eds.), Formal Systems and Recursive Functions. North Holland.
Arthur Prior (1965). Existence in Le'sniewski and Russell. In J. Crossley (ed.), Formal Systems and Recursive Functions. North-Holland.
P. J. M. (1965). Formal Systems and Recursive Functions. The Review of Metaphysics 19 (1):161-162.
John N. Crossley & Michael A. E. Dummett (eds.) (1965). Formal Systems and Recursive Functions. Amsterdam, North-Holland Pub. Co..
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2010-06-22Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
