Ed. de La Découverte. Paris. 1998.
Ed. PUF. Que saisje ? Paris. 1992.126 pages.
Ed. Springer Verlag, Paris, 1993.200 pages.
(Textes de Bernays, Brouwer, Gentzen,Godel, Hilbert, Kreisel, Weige) Ed. J. VRIN, Paris 1992. 566 p.
Traduction N. Ferron, Présentation S. MadelrieuxEdition Flammarion (collection Champs), 2007, ISBN : 978-2-296-0812 0857 5, 350 pages.
Ed. PUF. - "Que Sais-je ?" 1993. 128 p.