Site internet franco-portugais de l'atelier MCX 34
Ed. PUF. Que saisje ? Paris. 1992.126 pages.
(Textes de Bernays, Brouwer, Gentzen,Godel, Hilbert, Kreisel, Weige) Ed. J. VRIN, Paris 1992. 566 p.
éd. Nouveau Monde, Paris, et, éd. éd. Nouveau Monde, Paris, et, éd. Septentrion Sillery, 2004, 399Septentrion Sillery, 2004, 399 p.
Ed. PUF. - "Que Sais-je ?" 1993. 128 p.