Ed. Interéditions, Paris 1995. 522 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.
(2d. Ed. corrigée) Ed. Hermès, Paris 1991.
(traduit de l'allemand) Ed. PUF. Paris, 1993. 296 p.
Ed. PUF. - "Que Sais-je ?" 1993. 128 p.