Revue HERMES (CNRS - ISCC)
CNRS Edition, 2011, ISBN 978 2 271 07220B7, 313 pages.
PUF. Paris 1995. 224 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.
Ed. Springer Verlag, France, Paris, 1992. 452 p.
Presses Universitaires du Septentrion, Lille, 1999, ISBN 2-85939-604-7, 349 pages.
Ed. PUF. - "Que Sais-je ?" 1993. 128 p.
Editions du CNRS. Paris, 1991. 258 p.