preuve en mathématiques
- 2020 C.Q.F.D.
Auteurs : Pradeau Yan ; Benjamin Yves. Collab.
- 2017 Maths Langages express.
Auteurs : Pestel Marie-José. Dir. ; Thomas Edouard. Dir.
- 2011 Epistémologie mathématique.
Auteur : Lombardi Henri
- 2001 La logique ou l’art de raisonner.
Auteurs : Delmas-Rigoutsos Yannis ; Lalement René