- The proper explanation of intuitionistic logic: on Brouwer's demonstration of the Bar Theorem.Mark Van Atten & Göran Sundholm - unknowndetails
|
|
Intuitionism.Arend Heyting - 1956 - Amsterdam,: North-Holland Pub. Co..details
|
|
Principles of Intuitionism: Lectures Presented at the Summer Conference on Intuitionism and Proof Theory (1968) at Suny at Buffalo, Ny.Anne Sjerp Troelstra - 1969 - Berlin, Germany: Springer.details
|
|
Arguments for the continuity principle.Mark van Atten & Dirk van Dalen - 2002 - Bulletin of Symbolic Logic 8 (3):329-347.details
|
|
Varieties of indeterminacy in the theory of general choice sequences.Carl J. Posy - 1976 - Journal of Philosophical Logic 5 (1):91 - 132.details
|
|
Brouwer's Incomplete Objects.Joop Niekus - 2010 - History and Philosophy of Logic 31 (1):31-46.details
|
|
On the Brouwerian concept of negative continuity.Enrico Martino - 1985 - Journal of Philosophical Logic 14 (4):379 - 398.details
|
|
Continuity and nondiscontinuity in constructive mathematics.Hajime Ishihara - 1991 - Journal of Symbolic Logic 56 (4):1349-1354.details
|
|
The Non-Equivalence of the Constructive and the Negative Order Relation in the Continuum.L. E. J. Brouwer - 1949 - Journal of Symbolic Logic 14 (3):195-196.details
|
|
Remarques sur la Notion d'Ordre.L. Brouwer & L. E. J. Brouwer - 1954 - Journal of Symbolic Logic 19 (2):125-126.details
|
|
Points and Spaces.L. E. J. Brouwer - 1969 - Journal of Symbolic Logic 34 (3):519-519.details
|
|
Essentially-Negative Properties.L. E. J. Brouwer - 1949 - Journal of Symbolic Logic 14 (2):137-138.details
|
|
Consciousness, Philosophy, and Mathematics.L. E. J. Brouwer - 1949 - Journal of Symbolic Logic 14 (2):132-133.details
|
|
Varieties of constructive mathematics.D. S. Bridges - 1987 - New York: Cambridge University Press. Edited by Fred Richman.details
|
|
Elements of Intuitionism.Michael Dummett - 1977 - New York: Oxford University Press. Edited by Roberto Minio.details
|
|
Elements of Intuitionism.Michael Dummett - 1980 - British Journal for the Philosophy of Science 31 (3):299-301.details
|
|
Intuitionism, an Introduction.A. Heyting - 1958 - Studia Logica 7:277-278.details
|
|
Consciousness, Philosophy and Mathematics.L. E. J. Brouwer - 1949 - In E. W. Beth, H. J. Pos & H. J. A. Hollak (eds.), Library of the Tenth International Congress in Philosophy, August 1948. North-Holland. pp. 1235--1249.details
|
|
Consciousness, Philosophy, and Mathematics.L. E. J. Brouwer - 1949 - Proceedings of the Tenth International Congress of Philosophy 2:1235-1249.details
|
|
Informal Rigour and Completeness Proofs.Georg Kreisel - 1967 - In Imre Lakatos (ed.), Problems in the Philosophy of Mathematics. North-Holland. pp. 138--157.details
|
|