Review: A. S. Troelstra, B. van Rootselaar, J. F. Staal, The Theory of Choice Sequences [Book Review]

Journal of Symbolic Logic 38 (2):332-332 (1973)
  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,139

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. S. Troelstra, Choice Sequences. A Chapter of Intuitionistic Mathematics. [REVIEW]Richard Vesley - 1979 - Journal of Symbolic Logic 44 (2):275-276.
Relative lawlessness in intuitionistic analysis.Joan Rand Moschovakis - 1987 - Journal of Symbolic Logic 52 (1):68-88.
Choice sequences and informal rigour.A. S. Troelstra - 1985 - Synthese 62 (2):217 - 227.
Informal theory of choice sequences.A. S. Troelstra - 1969 - Studia Logica 25 (1):31 - 54.
Review: H. J. Keisler, B. van Rootselaar, J. F. Staal, Models with Orderings. [REVIEW]H.-D. Ebbinghaus - 1974 - Journal of Symbolic Logic 39 (2):334-335.
Analysing choice sequences.A. S. Troelstra - 1983 - Journal of Philosophical Logic 12 (2):197 - 260.
Review: A. A. Markov, B. van Rootselaar, J. F. Staal, An Approach to Constructive Mathematical Logic. [REVIEW]Brian H. Mayoh - 1975 - Journal of Symbolic Logic 40 (1):85-85.
Choice sequences: a chapter of intuitionistic mathematics.Anne Sjerp Troelstra - 1977 - Oxford [Eng.]: Clarendon Press.
Projections of lawless sequences.D. Van Dalen & A. S. Troelstra - 1970 - In A. Kino, John Myhill & Richard Eugene Vesley (eds.), Intuitionism and proof theory. Amsterdam,: North-Holland Pub. Co..
Busy choice sequences refraining formulas and modalities.Ming Xu - 1995 - Studia Logica 54 (3):267 - 301.
Review: B. van Rootselaar, On Intuitionistic Difference Relations. [REVIEW]R. E. Vesley - 1969 - Journal of Symbolic Logic 34 (3):519-520.
Brouwer and Weyl: The phenomenology and mathematics of the intuitive continuumt.Mark van Atten, Dirk van Dalen & Richard Tieszen - 2002 - Philosophia Mathematica 10 (2):203-226.
Brouwer meets Husserl: on the phenomenology of choice sequences.Markus Sebastiaan Paul Rogier van Atten - 2007 - Dordrecht: Springer.

Analytics

Added to PP
2013-11-22

Downloads
15 (#868,066)

6 months
4 (#573,918)

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