Editions de l'Aube. La Tour d'Aygues 84240. 1994. 105 pages.
Editions de l'Aube, 84240, La Tour d'Aigues, 2002 ISBN 2 876 678 804 7, 320 pages
Traduction 1990 et présentation d'A.Boyer., Editions de l'ECLAT, 30250 Combas,79 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.
Ed. Librairie de l'Université de Dijon, Collection de l'Institut de Mathématiques économiques (n° 34, 1988)