. Ed. L'Harmattan, Paris, 1996. T1 : 330 p., T2 : 340 p.
L'Harmattan Logiques Sociales, 1996, 2 tomes, 333 et 341 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. PIE Bruxelles, 1998, ISBN
Editions Quart Monde, Paris, 1999 & 2002.
Ed. PUF. - "Que Sais-je ?" 1993. 128 p.
Ed. Hachette. Paris, 1990. 157 p.