(EDUCAR, INVESTIGAR E FORMAR : Novos Saberes)
Editor Universidade de Aveiro, 2014, ISBN 9789727894260, 300 pages . Edição em Português.
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. PUF. La Nouvelle Encyclopédie Diderot, Paris, 1992. 289 p.
Fayard. Paris. 1994.
Ed. PUF. - "Que Sais-je ?" 1993. 128 p.