A note on recursive functions

Journal of Symbolic Logic 1 (3):119-119 (1936)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269056

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,225

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Kleene S. C.. A note on recursive functions. Bulletin of the American Mathematical Society, vol. 42 , pp. 544–546.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (3):119-119.
S. C. Kleene. General recursive functions of natural numbers. Mathematische Annalen, Bd. 112 , S. 727–742.Rózsa Péter - 1937 - Journal of Symbolic Logic 2 (1):38-38.
S. C. Kleene. General recursive functions of natural numbers. Mathematische Annalen, Bd. 112 (1935–1936), S. 727–742.S. C. Kleene - 1937 - Journal of Symbolic Logic 2 (1):38-38.
Kleene S. C.. Recursive predicates and quantifiers. Transactions of the American Mathematical Society, vol. 53 , pp. 41–73. [REVIEW]Alonzo Church - 1943 - Journal of Symbolic Logic 8 (1):32-34.
Kleene S. C.. Recursive functions and intuitionistic mathematics. Proceedings of the International Congress of Mathematicians, Cambridge, Massachusetts, U.S.A., August 30-September 6, 1950, American Mathematical Society, Providence 1952, Vol. I, pp. 679–685. [REVIEW]Andrzej Mostowski - 1953 - Journal of Symbolic Logic 18 (2):181-182.
Kleene S. C.. Recursive functionals and quantifiers of finite types I. Transactions of the American Mathematical Society, vol. 91 , pp. 1–52. [REVIEW]A. Nerode - 1962 - Journal of Symbolic Logic 27 (1):82-83.
N. A. Šanin. On the constructive interpretation of mathematical judgments. English translation of XXXI 255 by Elliott Mendelson. American Mathematical Society translations, ser. 2 vol. 23 , pp. 109–189. - A. A. Markov. On constructive functions. English translation of XXXI 258 by Moshe Machover. American Mathematical Society translations, vol. 29 , pp. 163–195. - S. C. Kleene. A formal system of intuitionistic analysis. The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 1–89. - S. C. Kleene. Various notions of realizability:The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 90–132. - Richard E. Ve. [REVIEW]Georg Kreisel - 1966 - Journal of Symbolic Logic 31 (2):258-261.
Kleene S. C.. Recursive functionals and quantifiers of finite types II. Transactions of the American Mathematical Society, vol. 108 , pp. 106–142. [REVIEW]Thomas J. Grilliot - 1971 - Journal of Symbolic Logic 36 (1):146-146.

Analytics

Added to PP
2015-02-05

Downloads
9 (#1,523,188)

6 months
4 (#1,247,093)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Computability and recursion.Robert I. Soare - 1996 - Bulletin of Symbolic Logic 2 (3):284-321.
Core Gödel.Neil Tennant - 2023 - Notre Dame Journal of Formal Logic 64 (1):15-59.
Alonzo church:his life, his work and some of his miracles.Maía Manzano - 1997 - History and Philosophy of Logic 18 (4):211-232.
The mathematical work of S. C. Kleene.J. R. Shoenfield & S. C. Kleene - 1995 - Bulletin of Symbolic Logic 1 (1):8-43.

View all 6 citations / Add more citations

References found in this work

No references found.

Add more references