Ed. Desclée de Brouwer, 1996. 184 pages.
Ed. PUF. Que saisje ? Paris. 1992.126 pages.
Ed. Université de Genève (Laboratoire de Physiologie Végétale). 1993, 369 pages.
(Textes de Bernays, Brouwer, Gentzen,Godel, Hilbert, Kreisel, Weige) Ed. J. VRIN, Paris 1992. 566 p.
Ed. du Seuil, 1993, 280 pages.
Ed. PUF. - "Que Sais-je ?" 1993. 128 p.