- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Some Classes of Recursive Functions
Journal of Symbolic Logic 20 (1):71-72 (1955)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Review: Andrzej Grzegorczyk, Some Classes of Recursive Functions. [REVIEW]Rózsa Péter - 1955 - Journal of Symbolic Logic 20 (1):71-72.
Grzegorczyk Andrzej. Some classes of recursive functions. Rozprawy matematyczne no. 4. Instytut Matematyczny Polskiej Akademii Nauk, Warschau 1953, 46 S. [REVIEW]Rózsa Péter - 1955 - Journal of Symbolic Logic 20 (1):71-72.
Review: Andrzej Grzegorczyk, Undecidability of Some Topological Theories. [REVIEW]Hartley Rogers - 1953 - Journal of Symbolic Logic 18 (1):73-74.
Review: Andrzej Grzegorczyk, Some Relational Systems and the Associated Topological Spaces. [REVIEW]R. A. Bull - 1969 - Journal of Symbolic Logic 34 (4):652-653.
Computability of Real Numbers by Using a Given Class of Functions in the Set of the Natural Numbers.Dimiter Skordev - 2002 - Mathematical Logic Quarterly 48 (S1):91-106.
Review: Andrzej Grzegorczyk, On the Concept of Categoricity; A. Grzegorczyk, A Kind of Categoricity. [REVIEW]Gunter Asser - 1965 - Journal of Symbolic Logic 30 (3):387-388.
Grzegorczyk Andrzej. Undecidability of some topological theories. Fundamenta mathematicae, vol. 38 , pp. 137–152.Hartley Rogers - 1953 - Journal of Symbolic Logic 18 (1):73-74.
Review: Andrzej Grzegorczyk, Fonctions Recursives. [REVIEW]Rozsa Peter - 1966 - Journal of Symbolic Logic 31 (3):481-483.
Andrzej Grzegorczyk. Some relational systems and the associated topological spaces. Fundamenta mathematicae, vol. 60 (1967), pp. 223–231. [REVIEW]Andrzej Grzegorczyk - 1970 - Journal of Symbolic Logic 34 (4):652-653.
Review: Andrzej Grzegorczyk, A Philosophically Plausible Formal Interpretation of Intuitionistic Logic. [REVIEW]C. G. McKay - 1971 - Journal of Symbolic Logic 36 (2):329-329.
Analytics
Added to PP
2015-02-05
Downloads
42 (#369,222)
6 months
4 (#1,005,098)
2015-02-05
Downloads
42 (#369,222)
6 months
4 (#1,005,098)
Historical graph of downloads
Citations of this work
Bounded functional interpretation.Fernando Ferreira & Paulo Oliva - 2005 - Annals of Pure and Applied Logic 135 (1):73-112.
Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals.Ulrich Kohlenbach - 1996 - Archive for Mathematical Logic 36 (1):31-71.
Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel's Theorems.Rod J. L. Adams & Roman Murawski - 1999 - Dordrecht, Netherland: Springer Verlag.
Combinatorial principles in elementary number theory.Alessandro Berarducci & Benedetto Intrigila - 1991 - Annals of Pure and Applied Logic 55 (1):35-50.
Eine Klassifikation der ε0‐Rekursiven Funktionen.Helmut Schwichtenberg - 1971 - Mathematical Logic Quarterly 17 (1):61-74.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6686886f5-2nz2h uwo