Dunod, 1995 (Bordas, 1976 pour la lère édition française)
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 de l'anglais (LEA, 1990) sous la direction de Solange Hollard). Presses Universitaires de Grenoble, 1993, 547 pages.
Ed. PUF. - "Que Sais-je ?" 1993. 128 p.