Editions REPAS – 2011, ISBN 978-2-919272-01-3 186 pages
Ed. de La Découverte. Paris. 1998.
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.