preuve constructive
- 2011 Epistémologie mathématique.
Auteur : Lombardi Henri
- 2001 Introduction à la logique.
Auteurs : David René ; Nour Karim ; Raffalli Christophe
Auteur : Lombardi Henri
Auteurs : David René ; Nour Karim ; Raffalli Christophe