L’œuvre logique de Kurt Gödel (1929-1936)
Jacques DUBUCS
Dans L’Âge de la science. Lectures philosophiques - 1991
La philosophie de Kurt Gödel
Jacques DUBUCS
Dans L’Âge de la science. Lectures philosophiques - 1991
Jules Vuillemin entre l’intuitionnisme et le réalisme
Jacques BOUVERESSE
Dans Philosophie des mathématiques et théorie de la connaissance. L’Œuvre de Jules Vuillemin - 2005
La philosophie de Descartes et son intuitionnisme
Michio KOBAYASHI
Dans Philosophie des mathématiques et théorie de la connaissance. L’Œuvre de Jules Vuillemin - 2005
Jean Largeault et l’intuitionnisme
Hervé BARREAU
Dans De la science à la philosophie. Hommage à Jean Largeault - 2001
Beth an Bernays on Intuitionism
Miriam FRANCHELLA
Dans Philosophia Scientiae. Travaux d’histoire et de philosophie des sciences - 1999
Philosophie des mathématiques
Jacques DUBUCS, Denis BONNAY
Dans Précis de philosophie des sciences - 2011
Formalisme et intuitionnisme en philosophie des mathématiques
Jean LARGEAULT
Dans Revue philosophique de la France et de l’étranger - 1990
Brève note sur l’intuitionnisme de Brouwer
Jean LARGEAULT
Dans Revue philosophique de la France et de l’étranger - 1992
Les Fondements des mathématiques : Intuitionnisme, théorie de la démonstration
Arend HEYTING
Gauthier-Villars - 1955
The Nature of Mathematics. A Critical Survey
Max BLACK
Routledge and Kegan Paul - 1965
Fondements des mathématiques
Michel COMBÈS
Presses Universitaires de France - 1971
La Vérification
Gilles-Gaston GRANGER
Odile Jacob - 1992
Phenomenology, Logic, and the Philosophy of Mathematics
Richard L. TIESZEN
Cambridge University Press - 2005
Philosophie des mathématiques et théorie de la connaissance. L’Œuvre de Jules Vuillemin
Sous la direction de Roshdi RASHED, Pierre PELLEGRIN
Albert Blanchard - 2005