Editions REPAS – 2011, ISBN 978-2-919272-01-3 186 pages
(traduction coordonnée par C. Plantin) Ed. Kimé, Paris, 1996. 251 pages.
Ed. de La Découverte. Paris. 1998.
(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.