Review: D. van Dantzig, On the Principles of Intuitionistic and Affirmative Mathematics [Book Review]

Journal of Symbolic Logic 13 (3):173-173 (1948)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

Intuitionistic mathematics does not needex falso quodlibet.Neil Tennant - 1994 - Topoi 13 (2):127-133.
The coherence of antirealism.Charles McCarty - 2006 - Mind 115 (460):947-956.
Reverse Mathematics and Completeness Theorems for Intuitionistic Logic.Takeshi Yamazaki - 2001 - Notre Dame Journal of Formal Logic 42 (3):143-148.
Review: D. van Dantzig, Mathematique Stable et Mathematique Affirmative. [REVIEW]P. C. Gilmore - 1956 - Journal of Symbolic Logic 21 (3):323-324.
Review: D. van Dantzig, A Remark and a Problem Concerning the Intuitionistic Form of Cantor's Intersection Theorem. [REVIEW]Evert Beth - 1944 - Journal of Symbolic Logic 9 (1):21-21.
On Skolem and Herbrand theorems for intuitionistic logic.Herman Ruge Jervell - 1972 - Oslo,: Universitetet i Oslo, Matematisk institutt.
Affirmative action as a form of restitution.Leo Groarke - 1990 - Journal of Business Ethics 9 (3):207 - 213.
The foundations of intuitionistic mathematics.Stephen Cole Kleene - 1965 - Amsterdam,: North-Holland Pub. Co.. Edited by Richard Eugene Vesley.
A negationless interpretation of intuitionistic theories. I.Victor N. Krivtsov - 2000 - Studia Logica 64 (1-2):323-344.
A negationless interpretation of intuitionistic theories.Victor N. Krivtsov - 2000 - Erkenntnis 53 (1-2):155-179.
Intuitionistic mathematics and wittgenstein.Wenceslao J. Gonzalez - 1991 - History and Philosophy of Logic 12 (2):167-183.
Intuitionistic mathematics and logic.Michael Dummett - 1974 - Oxford: Mathematical Institute.
Review: Clifford Spector, Provably Recursive Functionals of Analysis: A Consistency Proof of Analysis by an Extension of Principles Formulated in Current Intuitionistic Mathematics. [REVIEW]R. E. Vesley - 1967 - Journal of Symbolic Logic 32 (1):128-128.
Choice sequences: a chapter of intuitionistic mathematics.Anne Sjerp Troelstra - 1977 - Oxford [Eng.]: Clarendon Press.
Review: D. van Dantzig, Mathematics, Logic, and Empirical Science. [REVIEW]Evert W. Beth - 1947 - Journal of Symbolic Logic 12 (2):62-63.

Analytics

Added to PP
2013-11-22

Downloads
19 (#775,535)

6 months
5 (#652,053)

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