- Mathematical Intuition: Phenomenology and Mathematical Knowledge.Richard L. Tieszen - 1989 - Dordrecht/Boston/London: Kluwer Academic Publishers.details
|
|
Logical Investigations.Edmund Husserl & J. N. Findlay - 1972 - Journal of Philosophy 69 (13):384-398.details
|
|
Intuitionism and Formalism.L. E. J. Brouwer - 1913 - Bulletin of the American Mathematical Society 20:81-96.details
|
|
Mathematical Intuition: Phenomenology and Mathematical Knowledge. [REVIEW]Jan Woleński - 1993 - Studia Logica 52 (3):484-486.details
|
|
Arend Heyting and Phenomenology: Is the Meeting Feasible?Miriam Franchella - 2007 - Bulletin d'Analyse Phénoménologique (2).details
|
|
On Brouwer.Mark van Atten - 2004 - Wadsworth Publishing Company.details
|
|
The Philosophical Basis of Intuitionistic Logic.Michael Dummett - 1978 - In Truth and other enigmas. Cambridge: Harvard University Press. pp. 215--247.details
|
|
Experience and judgment: investigations in a genealogy of logic.Edmund Husserl - 1973 - London: Routledge and Kegan Paul. Edited by Ludwig Landgrebe.details
|
|
Constructivism in Mathematics: An Introduction.A. S. Troelstra & Dirk Van Dalen - 1988 - Amsterdam: North Holland. Edited by D. van Dalen.details
|
|
Mathematical intuition and Husserl's phenomenology.Richard Tieszen - 1984 - Noûs 18 (3):395-421.details
|
|
(4 other versions)Ideas: General Introduction to Pure Phenomenology.Edmund Husserl - 1931 - New York: Routledge. Edited by William Ralph Boyce Gibson.details
|
|
Formal and transcendental logic.Edmund Husserl - 1969 - The Hague,: Martinus Nijhoff.details
|
|
Brouwer's Cambridge lectures on intuitionism.Luitzen Egbertus Jan Brouwer - 1981 - New York: Cambridge University Press. Edited by D. van Dalen.details
|
|
General introduction to a pure phenomenology.Edmund Husserl - 1982 - Hingham, MA, USA: Distributors for the U.S. and Canada, Kluwer Boston.details
|
|
Intuitionism in the Philosophy of Mathematics: Introducing a Phenomenological Account.Philipp Berghofer - 2020 - Philosophia Mathematica 28 (2):204-235.details
|
|
(1 other version)Mathematics and Its Applications, A Transcendental-Idealist Perspective.Jairo José da Silva - 2017 - Cham: Springer.details
|
|
Experience and Judgment: Investigations in a Genealogy of Logic.Edmund Husserl, James S. Churchill & Karl Ameriks - 1981 - Human Studies 4 (3):279-297.details
|
|
Husserl on axiomatization and arithmetic.Claire Ortiz Hill - 2010 - In Mirja Hartimo (ed.), Phenomenology and mathematics. London: Springer.details
|
|
(1 other version)Logical investigations.Edmund Husserl - 1970 - New York: Routledge. Edited by Dermot Moran.details
|
|
(3 other versions)Consciousness, philosophy and mathematics.L. E. J. Brouwer - 1975 - In A. Heyting (ed.), L. E. J. Brouwer Collected Works Vol. I: Philosophy and Foundations of Mathematics. North-Holland Publishing. pp. 480–494.details
|
|
(1 other version)Logical Investigations.Edmund Husserl - 1970 - London, England: Routledge. Edited by Dermot Moran.details
|
|
(3 other versions)Consciousness, Philosophy, and Mathematics.L. E. J. Brouwer - 1949 - Proceedings of the Tenth International Congress of Philosophy 2:1235-1249.details
|
|
On the meanings of the logical constants and the justifications of the logical laws.Per Martin-Löf - 1996 - Nordic Journal of Philosophical Logic 1 (1):11-60.details
|
|
Constructions, proofs and the meaning of logical constants.Göran Sundholm - 1983 - Journal of Philosophical Logic 12 (2):151 - 172.details
|
|
Formal and Transcendental Logic.Edmund Husserl, Dorion Cairns, Suzanne Bachelard & Lester E. Embree - 1971 - Philosophical Review 80 (2):267-273.details
|
|
Die intuitionistische grundlegung der mathematik.Arend Heyting - 1931 - Erkenntnis 2 (1):106-115.details
|
|
Historical introduction and fundamental notions.L. E. J. Brouwer - 1981 - In D. van Dalen (ed.), Brouwer’s Cambridge Lectures on Intuitionism. Cambridge University Press. pp. 1–20.details
|
|
Space.Jairo da Silva - 2017 - In Jairo José da Silva (ed.), Mathematics and its Applications: A Transcendental-Idealist Perspective. Cham: Springer Verlag.details
|
|
Brouwer meets Husserl. On the Phenomenology of Choice Sequences.Mark van Atten (ed.) - 2006 - Springer.details
|
|
(1 other version)Construction and Constitution in Mathematics.Mark van Atten - 2010 - New Yearbook for Phenomenology and Phenomenological Philosophy 10 (1):43-90.details
|
|
Construction and Constitution in Mathematics.Mark Atten - 2017 - In Stefania Centrone (ed.), Essays on Husserl’s Logic and Philosophy of Mathematics. Dordrecht, Netherland: Springer Verlag.details
|
|
The cognitive act and the first-person perspective: an epistemology for constructive type theory.Maria van der Schaar - 2011 - Synthese 180 (3):391 - 417.details
|
|
Experience and Judgment.Edmund Husserl, L. Landgrebe, J. S. Churchill & K. Ameriks - 1973 - Tijdschrift Voor Filosofie 39 (4):712-713.details
|
|
Philosophy of Arithmetic: Psychological and Logical Investigations - with Supplementary Texts from 1887-1901.Edmund Husserl - 2003 - Springer Verlag.details
|
|
The correspondence between Oskar Becker and Arend Heyting.Mark van Atten - 2005 - In Volker Peckhaus (ed.), Oskar Becker und die Philosophie der Mathematik. Wilhelm Fink Verlag. pp. 119-142.details
|
|
The proper explanation of intuitionistic logic: on Brouwer's demonstration of the Bar Theorem.Mark van Atten & Göran Sundholm - 2008 - In Mark van Atten, Pascal Boldini, Michel Bourdeau & Gerhard Heinzmann (eds.), One Hundred Years of Intuitionism : The Cerisy Conference. Birkhäuser Basel. pp. 60-77.details
|
|
(1 other version)La conception intuitionniste de la logique.A. Heyting - 1956 - Les Etudes Philosophiques 11 (2):226 - 233.details
|
|