Le Temps Editeur, 2011, ISBN 978 2 36312 004 5 , 188 pages
Ed. du Seuil Paris 1991. 341 p.
Ed. INRA, Paris, 1999
(Textes de Bernays, Brouwer, Gentzen,Godel, Hilbert, Kreisel, Weige) Ed. J. VRIN, Paris 1992. 566 p.
Ed. PUF. Que saisje ? Paris. 1992.126 pages.
Ed. PUF. - "Que Sais-je ?" 1993. 128 p.
Editions La Découverte, collection Sur le Vif, octobre 2004, ISBN 2-7071-4384-7, 150pages