Collection Ingénium - L'Harmattan 2002 ISBN : 2-7475-3547-9 ? 154 pages
Ed. Interéditions, Paris 1995. 522 pages.
(2d. Ed. corrigée) Ed. Hermès, Paris 1991.
(Textes de Bernays, Brouwer, Gentzen,Godel, Hilbert, Kreisel, Weige) Ed. J. VRIN, Paris 1992. 566 p.
Ed. PUF. Que saisje ? Paris. 1992.126 pages.
Ed. PUF. - "Que Sais-je ?" 1993. 128 p.