PUF, Que Sais-Je ?, n° 3180, 1996.
Ed. de La Découverte. Paris. 1998.
(Recueil d'Etudes, Colloque de Strasbourg 1982), Ed. IIEE (Lyon) et Librairie VRIN, Paris - 1991- 364p.
(Textes de Bernays, Brouwer, Gentzen,Godel, Hilbert, Kreisel, Weige) Ed. J. VRIN, Paris 1992. 566 p.
CNRS Editions, Paris, 1992.
Ed. du CNRS, Paris, 1989. 428 p.
Ed. PUF. Que saisje ? Paris. 1992.126 pages.
Ed. PUF. - "Que Sais-je ?" 1993. 128 p.