Editions Octarès, Toulouse, 1996, 728 pages.
Ed. PUF. Que saisje ? Paris. 1992.126 pages.
(Textes de Bernays, Brouwer, Gentzen,Godel, Hilbert, Kreisel, Weige) Ed. J. VRIN, Paris 1992. 566 p.
Traduction 1990 et présentation d'A.Boyer., Editions de l'ECLAT, 30250 Combas,79 p.
éditions Charles Léopold MAYER, 2009, ISBN 978 2-84377 147 7, 272 pages
Ed. PUF. - "Que Sais-je ?" 1993. 128 p.
