Editions REPAS – 2011, ISBN 978-2-919272-01-3 186 pages
Ed. Champ Vallon. Seyssel 01420. 1995. 254pages
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.