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
(Textes de Bernays, Brouwer, Gentzen,Godel, Hilbert, Kreisel, Weige) Ed. J. VRIN, Paris 1992. 566 p.
Ed. du CNRS, Paris, 1989. 428 p.
Ed. PUF. Que saisje ? Paris. 1992.126 pages.
(traduit de l'anglais par J. Proust), Ed. La Découvene, Paris 1993. 365 p.
Ed. PUF. - "Que Sais-je ?" 1993. 128 p.