Ed. PUF. Que saisje ? Paris. 1992.126 pages.
(Textes de Bernays, Brouwer, Gentzen,Godel, Hilbert, Kreisel, Weige) Ed. J. VRIN, Paris 1992. 566 p.
Editions d'Organisation (classiques ECO), 1991, 275 p.
Ed. Dunod Paris (19631991)
Editions Quart Monde, Paris, 1999 & 2002.
The MIT Press, Cambridge, Mass. USA, 2004, ISBN 0 262 01 208 1, 553 pages
Ed. PUF. - "Que Sais-je ?" 1993. 128 p.
Ed. Hachette. Paris, 1990. 157 p.