Switch to: References

Citations of:

Informal theory of choice sequences

A. S. Troelstra

Studia Logica 25 (1):31 - 54 (1969)

Add citations

You must login to add 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
Brouwer's constructivism.Carl J. Posy - 1974 - Synthese 27 (1-2):125 - 159.details Intuitionism and Constructivism in Philosophy of Mathematics Direct download (4 more) Export citation Bookmark 10 citations
Intuitionistic views on the nature of mathematics.Arend Heyting - 1974 - Synthese 27 (1-2):79 - 91.details Intuitionism and Constructivism in Philosophy of Mathematics Direct download (4 more) Export citation Bookmark 18 citations
A very strong intuitionistic theory.Sergio Bernini - 1976 - Studia Logica 35 (4):377 - 385.details Logic and Philosophy of Logic Nonclassical Logics in Logic and Philosophy of Logic Direct download (4 more) Export citation Bookmark 5 citations

1