Review: N. A. Sanin, On the Constructive Interpretation of Mathematical Judgments [Book Review]

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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269819

Links

PhilArchive



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

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: N. A. Sanin, On the Constructive Interpretation of Mathematical Judgments; S. C. Kleene, A Formal System of Intuitionistic Analysis. [REVIEW]Georg Kreisel - 1966 - Journal of Symbolic Logic 31 (2):258-261.
Review: N. A. Sanin, Constructive Real Numbers and Constructive Functional Spaces. [REVIEW]E. M. Fels - 1969 - Journal of Symbolic Logic 34 (2):290-292.
Review: N. A. Sanin, Some Operations on Logico-Arithmetical Formulas; N. A. Sanin, On Imbeddings of the Classical Logico-Arithmetical Calculus into the Constructive Logico-Arithmetical Calculus. [REVIEW]Andrzej Mostowski - 1954 - Journal of Symbolic Logic 19 (4):297-298.
The natural numbers in constructive set theory.Michael Rathjen - 2008 - Mathematical Logic Quarterly 54 (1):83-97.
Review: S. C. Kleene, Mathematical Logic: Constructive and Non-Constructive Operations. [REVIEW]Julia Robinson - 1962 - Journal of Symbolic Logic 27 (1):78-78.
Regulatory Interpretation: Conversational or Constructive?Andromachi Georgosouli - 2010 - Oxford Journal of Legal Studies 30 (2):361-384.
On Constructive Groups.V. A. Lifshits - 1969 - In A. O. Slisenko (ed.), Studies in constructive mathematics and mathematical logic. New York,: Consultants Bureau. pp. 32--35.
Problem of decidability for some constructive theories of equalities.V. A. Lifshits - 1969 - In A. O. Slisenko (ed.), Studies in constructive mathematics and mathematical logic. New York,: Consultants Bureau. pp. 29--31.
Lebesgue integral in constructive analysis.Oswald Demuth - 1969 - In A. O. Slisenko (ed.), Studies in constructive mathematics and mathematical logic. New York,: Consultants Bureau. pp. 9--14.
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.
Constructive and Locally Constructive Endofunctors on the Category of Enumerated Sets.Andrzej Orlicki - 1987 - Mathematical Logic Quarterly 33 (4):371-384.
Invertible sequential variant of constructive predicate calculus.S. Yu Maslov - 1969 - In A. O. Slisenko (ed.), Studies in constructive mathematics and mathematical logic. New York,: Consultants Bureau. pp. 36--42.
Choice of terms in quantifier rules of constructive predicate calculus.G. E. Mints - 1969 - Journal of Symbolic Logic 36 (3):43--46.
Analog of Herbrand's Theorem for Prenex Formulas of Constructive Predicate Calculus.G. E. Mints - 1969 - Journal of Symbolic Logic 36 (3):47--51.

Analytics

Added to PP
2013-11-22

Downloads
5 (#1,510,250)

6 months
1 (#1,510,037)

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