Switch to: Citations

References in:

Spreads or choice sequences?

H. C. M. De Swart

History and Philosophy of Logic 13 (2):203-213 (1992)

Add references

You must login to add references.

The foundations of intuitionistic mathematics.Stephen Cole Kleene - 1965 - Amsterdam,: North-Holland Pub. Co.. Edited by Richard Eugene Vesley.details Intuitionism and Constructivism in Philosophy of Mathematics $57.00 used View on Amazon.com Direct download Export citation Bookmark 31 citations
Choice sequences: a chapter of intuitionistic mathematics.Anne Sjerp Troelstra - 1977 - Oxford [Eng.]: Clarendon Press.details Intuitionism and Constructivism in Philosophy of Mathematics Direct download (2 more) Export citation Bookmark 28 citations
Analysing choice sequences.A. S. Troelstra - 1983 - Journal of Philosophical Logic 12 (2):197 - 260.details Logic and Philosophy of Logic Direct download (4 more) Export citation Bookmark 12 citations
The continuum hypothesis in intuitionism.W. Gielen, H. de Swart & W. Veldman - 1981 - Journal of Symbolic Logic 46 (1):121-136.details The Continuum Hypothesis in Philosophy of Mathematics Direct download (8 more) Export citation Bookmark 5 citations
The Continuum Hypothesis in Intuitionism.W. Gielen, H. De Swart & W. Veldman - 1981 - Journal of Symbolic Logic 46 (1):121 - 136.details Cardinals and Ordinals in Philosophy of Mathematics Logic and Philosophy of Logic Direct download (3 more) Export citation Bookmark 5 citations
Elements of Intuitionistic Analysis II the Stone‐Weierstrass Theorem and Ascoli's Theorem.H. de Swart - 1976 - Mathematical Logic Quarterly 22 (1):501-508.details Intuitionistic Logic in Logic and Philosophy of Logic Direct download Export citation Bookmark 4 citations
Elements of Intuitionistic Analysis. Rolle's Theorem and Complete, Totally bounded, Metric Spaces.H. de Swart - 1976 - Mathematical Logic Quarterly 22 (1):289-298.details Areas of Mathematics in Philosophy of Mathematics Direct download Export citation Bookmark 3 citations
Historical Background, Principles and Methods of Intuitionism.L. E. J. Brouwer - 1954 - Journal of Symbolic Logic 19 (2):125-125.details Logic and Philosophy of Logic Direct download Export citation Bookmark 41 citations
Constructivism in mathematics: an introduction.A. S. Troelstra - 1988 - New York, N.Y.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.. Edited by D. van Dalen.details Provability, Computability and Reflection. Intuitionism and Constructivism in Philosophy of Mathematics $59.95 used $62.39 new View on Amazon.com Direct download Export citation Bookmark 154 citations

1