avec la collaboration de Claude-Henry du Bord, Edition Don Quichotte, 2017, ISBN : 978-2-35949, 356 pages
PUF, Que Sais-Je ?, n° 3180, 1996.
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.
(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
Ed. PUF. - "Que Sais-je ?" 1993. 128 p.