mathématiques intuitionnistes
- 2019 Généalogie des mathématiques.
Auteur : Séguy-Duclot Alain
- 2011 De la méthode.
Auteur : Serfati Michel. Dir.
- 2002 Tangente Hors-série. N° 13. L’Infini.
Auteur : Cohen Gilles. Dir.
- 1980 Mathématique constructive.
Auteur : Apéry Roger