Monographie
Gödel
Pierre CASSOU-NOGUÈS
Les Belles Lettres - 2008
Monographie
Logique, sémantique, métamathématique, 1923-1944 : Tome II
Alfred TARSKI, Gilles-Gaston GRANGER
Armand Colin - 1974
Monographie
Logique, sémantique, métamathématique. 1923-1944 : Tome I
Alfred TARSKI, Gilles-Gaston GRANGER
Armand Colin - 1972
Monographie
Les Fondements des mathématiques : Intuitionnisme, théorie de la démonstration
Arend HEYTING
Gauthier-Villars - 1955
Article
Logique, mathématique, métamathématique
Gilles-Gaston GRANGER
Dans Philosophie des mathématiques et théorie de la connaissance. L’Œuvre de Jules Vuillemin - 2005
Article
Le programme de Hilbert
Kosta DOSEN
Dans Le Concept de preuve à la lumière de l'intelligence artificielle - 1999
Article
Vers un métamathématicien artificiel
Jacques PITRAT
Dans Le Concept de preuve à la lumière de l'intelligence artificielle - 1999
Article
Jacques Herbrand
Jacques DUBUCS, Paul ÉGRÉ
Dans L’Épistémologie française, 1830-1970 - 2006