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