Review: A. S. Troelstra, Choice Sequences. A Chapter of Intuitionistic Mathematics [Book Review]

Journal of Symbolic Logic 44 (2):275-276 (1979)
  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: 93,296

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

Troelstra A. S.. Choice sequences. A chapter of intuitionistic mathematics. Oxford logic guides. Clarendon Press, Oxford 1977, ix + 170 pp. [REVIEW]Richard Vesley - 1979 - Journal of Symbolic Logic 44 (2):275-276.
A.S. TROELSTRA "Choice sequences. A chapter of intuitionistic mathematics". [REVIEW]R. E. Grandy - 1983 - History and Philosophy of Logic 4 (2):241.
Choice Sequences. A Chapter of Intuitionistic Mathematics.Richard Vesley - 1979 - Journal of Symbolic Logic 44 (2):275-276.
Review: Richard E. Vesley, On Strengthening Intuitionistic Logic. [REVIEW]T. Thacher Robinson - 1969 - Journal of Symbolic Logic 34 (2):307-307.
Review: A. S. Troelstra, B. van Rootselaar, J. F. Staal, The Theory of Choice Sequences. [REVIEW]R. E. Vesley - 1973 - Journal of Symbolic Logic 38 (2):332-332.
Choice sequences: a chapter of intuitionistic mathematics.Anne Sjerp Troelstra - 1977 - Oxford [Eng.]: Clarendon Press.
Review: A. S. Troelstra, J. E. Fenstad, Notions of Realizability for Intuitionistic Arithmetic and Intuitionistic Arithmetic in all Finite Types. [REVIEW]C. Smorynski - 1975 - Journal of Symbolic Logic 40 (4):625-625.
Richard E. Vesley. On strengthening intuitionistic logic. Notre Dame journal of formal logic, vol. 4 (1963), p. 80.T. Thacher Robinson - 1969 - Journal of Symbolic Logic 34 (2):307-307.
Review: Kurt Godel, John Dawson, On the Intuitionistic Propositional Calculus (1932); A. S. Troelstra, Introductory Note to 1932. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):344-344.
Review: Kurt Godel, John Dawson, An Interpretation of the Intuitionistic Propositional Calculus (1933f); A. S. Troelstra, Introductory Note to 1933f. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):346-346.

Analytics

Added to PP
2013-11-22

Downloads
2 (#1,819,493)

6 months
14 (#200,872)

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