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