Editions Octarès, Toulouse, 1996, 728 pages.
(Trad. fr. de J. Basch et P. Blanchard). Ed. du Seuil. Paris, 1995. 175 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.