Paris, Ed. du Rocher, 1996, 232 p.
Ed. PUF. Que saisje ? Paris. 1992.126 pages.
Ed. PUF. Paris, 1992. 269 p.
(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.