logique de Frege
- 2019 Généalogie des mathématiques.
Auteur : Séguy-Duclot Alain
- 2007 Les métamorphoses du calcul.
Auteur : Dowek Gilles
- 2004 L’Ouvert. N° 109.
Auteur : IREM de Strasbourg L’Ouvert. Dir.
- 1990 L’identité en mathématiques constructives.
Auteur : Dalen Dirk van