Editions REPAS – 2011, ISBN 978-2-919272-01-3 186 pages
Ed. de La Découverte. Paris. 1998.
Traduction 1990 et présentation d'A.Boyer., Editions de l'ECLAT, 30250 Combas,79 p.
(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.