Le Temps Editeur, 2011, ISBN 978 2 36312 004 5 , 188 pages
Ed. De Boeck Université, Bruxelles et Paris, 1998, 300 pages, ISBN 2-8041-2772-9
, Ed. P.U.F., Paris, 1995. 128 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.
Editions de l'Aube, (F. 84240), 1994. 187 p. (Collection DATAR. FBH. Monde en cours).
Ed. PUF. - "Que Sais-je ?" 1993. 128 p.