Ed L'ACT MEM, 2009, ISBN 978-2-35513-018-2, 300 pages
Diderot Editeur, Arts et Sciences, Paris 1996. 651 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.
Edition La Documentation Française, Paris, 1999, ISBN 2-11-00435761, 346 pages.
Ed. PUF. - "Que Sais-je ?" 1993. 128 p.
Ed. P.U.F., 1995. 237 p.
Ed. de l'Aube, La Tour d'Aygues 84240. 96 pages.
