PUF, Que Sais-Je ?, n° 3180, 1996.
Dunod. Paris. 1997. 244 pages
Ed. PUF. Que saisje ? Paris. 1992.126 pages.
(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.
Les Ed. d'organisation, Paris, 1990, 203 p
(Recueil d'Etudes, Colloque de Strasbourg 1982), Ed. IIEE (Lyon) et Librairie VRIN, Paris - 1991- 364p.
Ed. PUF. - "Que Sais-je ?" 1993. 128 p.