PUF, Que Sais-Je ?, n° 3180, 1996.
(Recueil d'Etudes, Colloque de Strasbourg 1982), Ed. IIEE (Lyon) et Librairie VRIN, Paris - 1991- 364p.
Ed. Hermés, revue d'Intelligence artificielle Vol 16, N° 4-5 , 2002, 220 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.
Ed. PUF. Que saisje ? Paris. 1992.126 pages.
Ed. PUF. - "Que Sais-je ?" 1993. 128 p.