théorème de complétude de Gödel
- 2007 Les métamorphoses du calcul.
Auteur : Dowek Gilles
- 2004 Gödel.
Auteur : Cassou-Noguès Pierre
- 2002 Le théorème de Gödel.
Auteur : CĂ©sar Jean
- 2002 Théorèmes d'incomplétude de Gödel.
Auteur : Royer Philippe
- 1990 Le logotron.
Auteur : Petit Jean-Pierre
- 1989 Le théorème de Gödel.
Auteurs : Gödel Kurt ; Nagel Ernest ; Newman James R. ; Girard Jean-Yves
- 1980 Le théorème de Gödel.
Auteur : CĂ©sar Jean