Article Mumford, David; (2011)
Intuition and Rigor and Enriques's Quest unapi

Chapter von Plato, Jan; (2009)
Proof Theory of Classical and Intuitionistic Logic unapi

Chapter Aberdein, Andrew; Read, Stephen; (2009)
The Philosophy of Alternative Logics unapi

Article Niekusa, Joop; (2010)
Brouwer's Incomplete Objects unapi

Book Atten, Mark Sebastiaan Paul Rogier van; (2004)
On Brouwer unapi

Book Dalen, Dirk van; (2013)
L. E. J. Brouwer: Topologist, Intuitionist, Philosopher---How Mathematics is Rooted in Life unapi

Article Favio Ezequiel Miranda Perea; Lourdes del Carmen González Huesca; (2023)
On Conceptual changes in Computer Assisted Proofs unapi

Book Gabriele Lolli; (2022)
The Meaning of Proofs: Mathematics as Storytelling unapi

Chapter Harari, Orna; (2012)
John Philoponus and the Conformity of Mathematical Proofs to Aristotelian Demonstrations unapi

Book John P. Burgess; (2015)
Rigor and Structure unapi

Article Ansten Klev; (2018)
A Road Map of Dedekind’s Theorem 66 unapi

Article Ageron, Pierre; (2002)
L'autre axiome du choix unapi

Book Dirk van Dalen; (2011)
The Selected Correspondence of L.E.J. Brouwer unapi

Article Posy, Carl J.; (1998)
Brouwer versus Hilbert: 1907-1928 unapi

Article Van Stigt, Walter P.; (1979)
The rejected parts of Brouwer's dissertation on the foundations of mathematics unapi

Article Posy, Carl J.; (1980)
On Brouwer's definition of inextendable order unapi

Book Dalen, Dirk van; (2005)
Mystic, Geometer, and Intuitionist: The Life of L. E. J. Brouwer 1881--1966 unapi

Chapter Johnson, Dale M.; (1987)
L.E.J. Brouwer's coming of age as a topologist unapi

Article Miriam Franchella; (2019)
Shaping the Enemy: Foundational Labelling by L.E.J. Brouwer and A. Heyting unapi

Book Brouwer, Luitzen E. J.; (1981)
Brouwer's Cambridge lectures on intuitionism. Edited by Dalen, D. van unapi