PUF. Paris 1995. 224 pages.
Ed. Hermès, Paris, 1996. 160 p.
Ed. PUF. Que saisje ? Paris. 1992.126 pages.
(T.I. : Méthodologies ; T. II : Etudes de cas). Ed. Lavoisier, Paris, 1993.
(Textes de Bernays, Brouwer, Gentzen,Godel, Hilbert, Kreisel, Weige) Ed. J. VRIN, Paris 1992. 566 p.
(traduit de l'anglais par J. Proust), Ed. La Découvene, Paris 1993. 365 p.
Ed. PUF. - "Que Sais-je ?" 1993. 128 p.