Synthese 12 (4):429 - 438 (1960)
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.1007/BF00485427 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
No references found.
Citations of this work BETA
On the Invariance of Gödel’s Second Theorem with Regard to Numberings.Balthasar Grabmayr - forthcoming - Review of Symbolic Logic:1-34.
The Representational Foundations of Computation.Michael Rescorla - 2015 - Philosophia Mathematica 23 (3):338-366.
A Natural Axiomatization of Computability and Proof of Church’s Thesis.Nachum Dershowitz & Yuri Gurevich - 2008 - Bulletin of Symbolic Logic 14 (3):299-350.
Similar books and articles
Computable and Continuous Partial Homomorphisms on Metric Partial Algebras.Viggo Stoltenberg-Hansen & John V. Tucker - 2003 - Bulletin of Symbolic Logic 9 (3):299-334.
Computability Theory: An Introduction to Recursion Theory.Herbert B. Enderton - 2010 - Academic Press.
Remarks on the Development of Computability.Stewart Shapiro - 1983 - History and Philosophy of Logic 4 (1-2):203-220.
Computing with Functionals: Computability Theory or Computer Science?Dag Normann - 2006 - Bulletin of Symbolic Logic 12 (1):43-59.
Non-Classical Logics, Model Theory, and Computability: Proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976. [REVIEW]Ayda I. Arruda, Newton C. A. Costa & R. Chuaqui (eds.) - 1977 - Sale Distributors for the U.S.A. And Canada, Elsevier/North-Holland.
Computability, an Introduction to Recursive Function Theory.Nigel Cutland - 1980 - Cambridge University Press.
Analytics
Added to PP index
2009-01-28
Total views
64 ( #178,835 of 2,507,636 )
Recent downloads (6 months)
1 ( #416,871 of 2,507,636 )
2009-01-28
Total views
64 ( #178,835 of 2,507,636 )
Recent downloads (6 months)
1 ( #416,871 of 2,507,636 )
How can I increase my downloads?
Downloads
