Recursive Functions and Intuitionistic Mathematics

Journal of Symbolic Logic 18 (2):181-182 (1953)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268961

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,590

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

Review: S. C. Kleene, Recursive Functions and Intuitionistic Mathematics. [REVIEW]Andrzej Mostowski - 1953 - Journal of Symbolic Logic 18 (2):181-182.
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.
Review: S. C. Kleene, A note on recursive functions. [REVIEW]Alonzo Church - 1936 - Journal of Symbolic Logic 1 (3):119-119.
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.
Review: S. C. Kleene, General Recursive Functions of Natural Numbers. [REVIEW]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 , S. 727–742.Rózsa Péter - 1937 - Journal of Symbolic Logic 2 (1):38-38.
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 (1935–1936), S. 727–742.S. C. Kleene - 1937 - Journal of Symbolic Logic 2 (1):38-38.
Review: S. C. Kleene, Countable Functionals; S. C. Kleene, Recursive Functionals of Higher Finite Types. [REVIEW]Donald L. Kreider - 1962 - Journal of Symbolic Logic 27 (3):359-360.
Review: S. C. Kleene, On the Intuitionistic Logic. [REVIEW]Andrzej Mostowski - 1949 - Journal of Symbolic Logic 14 (1):63-63.

Analytics

Added to PP
2015-02-05

Downloads
21 (#173,985)

6 months
4 (#1,635,958)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A classical view of the intuitionistic continuum.Joan Rand Moschovakis - 1996 - Annals of Pure and Applied Logic 81 (1-3):9-24.
The theory of empirical sequences.Carl J. Posy - 1977 - Journal of Philosophical Logic 6 (1):47 - 81.

Add more citations

References found in this work

No references found.

Add more references