Ed. PUF. Que saisje ? Paris. 1992.126 pages.
Ed. du Seuil. Paris. 1992. 431 pages.
(Textes de Bernays, Brouwer, Gentzen,Godel, Hilbert, Kreisel, Weige) Ed. J. VRIN, Paris 1992. 566 p.
Ed. PUF. La Nouvelle Encyclopédie Diderot, Paris, 1992. 289 p.
(préface de M. Bem). Ed. L'Harmattan. Paris, 1994. 253 p.
Ed. PUF. - "Que Sais-je ?" 1993. 128 p.