Kleene S. C.. A note on recursive functions. Bulletin of the American Mathematical Society, vol. 42 , pp. 544–546

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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,846

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.. 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.
Review: S. C. Kleene, A note on recursive functions. [REVIEW]Alonzo Church - 1936 - Journal of Symbolic Logic 1 (3):119-119.
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.
Local Density of Kleene Degrees.Hisato Muraki - 1995 - Mathematical Logic Quarterly 41 (2):183-189.
Reviews. Raphael M. Robinson. Primitive recursive functions. Bulletin of the American Mathematical Society, Bd. 53 , S 925–942. [REVIEW]Rózsa Péter - 1948 - Journal of Symbolic Logic 13 (2):113-114.
Realizing Brouwer's sequences.Richard E. Vesley - 1996 - Annals of Pure and Applied Logic 81 (1-3):25-74.
A note on recursive functions.S. C. Kleene - 1936 - Journal of Symbolic Logic 1 (3):119-119.
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.
Provably total functions of Basic Arithemtic.Saeed Salehi - 2003 - Mathematical Logic Quarterly 49 (3):316.
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.
Curry Haskell B.. Some aspects of the problem of mathematical rigor. Bulletin of the American Mathematical Society, vol. 47 , pp. 221–241. [REVIEW]S. C. Kleene - 1941 - Journal of Symbolic Logic 6 (3):100-102.
Markov A. A.. On the representation of recursive functions. English translation of XV 66 . American Mathematical Society, translation number 54. Lithoprinted. New York 1951, 13 pp. [REVIEW]Alonzo Church - 1952 - Journal of Symbolic Logic 17 (1):72-73.
McKinsey J. C. C.. Reducible Boolean functions. Bulletin of the American Mathematical Society, vol. 42 , pp. 263–267.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (2):69-69.
Wernick William. An enumeration of logical functions. Bulletin of the American Mathematical Society, vol. 45 , pp. 885–887. [REVIEW]Alonzo Church - 1940 - Journal of Symbolic Logic 5 (1):31-31.
Polynomially Bounded Recursive Realizability.Saeed Salehi - 2005 - Notre Dame Journal of Formal Logic 46 (4):407-417.

Analytics

Added to PP
2016-06-30

Downloads
26 (#610,229)

6 months
1 (#1,469,946)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references