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.
Infolio Editions, CH, 2010, ISBN 978 288474 575 8, 328 pages. www.infolio.ch
Editions de l'Aube, (F. 84240), 1994. 187 p. (Collection DATAR. FBH. Monde en cours).
Ed. PUF. - "Que Sais-je ?" 1993. 128 p.