On Constructive Functions

Journal of Symbolic Logic 31 (2):258-258 (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269820

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,865

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: A. A. Markov, On Constructive Functions. [REVIEW]E. M. Fels - 1966 - Journal of Symbolic Logic 31 (2):258-258.
On the Continuity of Constructive Functions.A. A. Markov - 1956 - Journal of Symbolic Logic 21 (3):319-320.
On Maximal Continuity Regulators for Constructive Functions.A. O. Slisenko - 1969 - In Studies in constructive mathematics and mathematical logic. New York,: Consultants Bureau. pp. 82--84.
Some Properties of Constructive Real Numbers and Constructive Functions.E. Mendelson - 1975 - Journal of Symbolic Logic 40 (3):454-454.
On constructive functions ranging over propositions.H. Luckhardt - 1980 - Studia Logica 39 (4):371 - 374.
Review: I. D. Zaslavskii, E. Mendelson, Some Properties of Constructive Real Numbers and Constructive Functions. [REVIEW]Brian H. Mayoh - 1975 - Journal of Symbolic Logic 40 (3):454-454.
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.
Five papers on logic and foundations.G. S. Ceitin (ed.) - 1971 - Providence, R.I.,: American Mathematical Society.
Review: A. A. Markov, A Constructive Logic. [REVIEW]Andrzej Mostowski - 1953 - Journal of Symbolic Logic 18 (3):257-257.

Analytics

Added to PP
2015-02-05

Downloads
8 (#1,577,832)

6 months
2 (#1,686,184)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On a finitary version of mathematical analysis.N. A. Shanin - 2001 - Annals of Pure and Applied Logic 113 (1-3):261-295.

Add more citations

References found in this work

No references found.

Add more references