Ed. PUF. Que saisje ? Paris. 1992.126 pages.
Trad.de l'Américain, 1984, par Michèle Garène, Ed. Odile Jacob, Paris, 1992. 235 p.
(Textes de Bernays, Brouwer, Gentzen,Godel, Hilbert, Kreisel, Weige) Ed. J. VRIN, Paris 1992. 566 p.
Princeton University Press, 1997 , 232 pages, n° ISBN : 0-691-01567-8.
Ed. PUF. - "Que Sais-je ?" 1993. 128 p.
