1990 La démonstration mathématique dans l’histoire. Auteurs : Barbin Evelyne. Dir. ; Commission inter-IREM Epistémologie et histoire des Mathématiques. Ed.
1990 La démonstration mathématique dans l’histoire. Autour de l’axiome du choix. p. 377-386. Auteur : Serfati Michel
2015 Tangente Hors-série. N° 55. p. 22-25. Kurt Gödel : le vrai et le démontrable. Auteur : Justens Daniel
2015 Bibliothèque Tangente. N° 55. Kurt Gödel : le vrai et le démontrable. p. 34-38. Auteur : Justens Daniel