The Theory of Choice Sequences

, &
Journal of Symbolic Logic 38 (2):332-332 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272087

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,612

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, B. van Rootselaar, J. F. Staal, The Theory of Choice Sequences. [REVIEW]R. E. Vesley - 1973 - Journal of Symbolic Logic 38 (2):332-332.
Informal theory of choice sequences.A. S. Troelstra - 1969 - Studia Logica 25 (1):31 - 54.
Troelstra A. S.. The theory of choice sequences. Logic, methodology and philosophy of science III, Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967, edited by van Rootselaar B. and Staal J. F., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1968, pp. 201–223. [REVIEW]R. E. Vesley - 1973 - Journal of Symbolic Logic 38 (2):332-332.
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.
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.
B. van Rootselaar and J. F. Staal , "Logic, Methodology and Philosophy of Science III". [REVIEW]Ekkart Zimmermann - 1974 - Theory and Decision 5 (4):447.
Review of B. van Rootselaar and J. F. Staal: Logic, Methodology and Philosophy of Science. [REVIEW]Colin Howson - 1971 - British Journal for the Philosophy of Science 22 (1):72-73.
Montague R.. Recursion theory as a branch of model theory. Logic, methodology and philosophy of science III, Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967, edited by van Rootselaar B. and Staal J. F., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1968, pp. 63–86. [REVIEW]Carl E. Gordon - 1973 - Journal of Symbolic Logic 38 (1):158-159.
Keisler H. J.. Models with orderings. Logic, methodology and philosophy of science III, Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967, edited by van Rootselaar B. and Staal J. F., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1968, pp. 35–62. [REVIEW]H. -D. Ebbinghaus - 1974 - Journal of Symbolic Logic 39 (2):334-335.
Review: A. S. Troelstra, Choice Sequences. A Chapter of Intuitionistic Mathematics. [REVIEW]Richard Vesley - 1979 - Journal of Symbolic Logic 44 (2):275-276.

Analytics

Added to PP
2015-02-05

Downloads
9 (#449,242)

6 months
3 (#1,723,834)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Anne Troelstra
Last affiliation: University of Amsterdam

Citations of this work

Analysing choice sequences.A. S. Troelstra - 1983 - Journal of Philosophical Logic 12 (2):197 - 260.
Brouwer's constructivism.Carl J. Posy - 1974 - Synthese 27 (1-2):125 - 159.
The knowing mathematician.Nicolas D. Goodman - 1984 - Synthese 60 (1):21 - 38.

Add more citations

References found in this work

No references found.

Add more references