intuitionnisme – philosophie –
- 2019 Généalogie des mathématiques.
Auteur : Séguy-Duclot Alain
- 2014 La science et l’hypothèse.
Auteurs : Poincaré Henri ; Vuillemin Jules. Préf.
- 2011 De la méthode.
Auteur : Serfati Michel. Dir.
- 2007 Les métamorphoses du calcul.
Auteur : Dowek Gilles
- 1997 L’infini en Mathématiques.
Auteur : Verdier Norbert
- 1980 Mathématique constructive.
Auteur : Apéry Roger