1994 Quatrième Université d’Eté d’Histoire des Mathématiques. Auteur : Commission inter-IREM Epistémologie et histoire des Mathématiques. Ed.
1994 Quatrième Université d’Eté d’Histoire des Mathématiques. Le théorème de Gödel : Enjeux et signification. p. 139-144. Auteur : Ferréol Gilles
