Editing

• (with E. Grosholz and E. Ippoliti), Logic and Knowledge, Cambridge Scholars Publishing, Newcastle Upon Tyne 2011.

• (with E. Ballo), La ricerca logica in Italia. Studi in onore di Corrado Mangione, Quaderni di Acme 124, Cisalpino, Milan 2011, pp. 229-46.

• (with P. Pecere), Demonstrative and Non-Demonstrative Reasoning in Mathematics and Natural Science, Edizioni dell'Università di Cassino, Cassino 2006.

• (with D. Gillies), Mathematical Reasoning and Heuristics, King's College Publications, London 2005.

• (with V.M. Abrusci, R. Cordeschi and V. Fano), Prospettive della logica e della filosofia della scienza [Perspectives in Logic and in the Philosophy of Science], ETS, Pisa 1998.

• (with M.C. Di Maio and G. Roncaglia), Logica e filosofia della scienza: problemi e prospettive [Logic and Philosophy of Science: Problems and Perspectives], ETS, Pisa 1994.

• (with G. Sambin)  Temi e prospettive della logica e della filosofia della scienza contemporanee [Themes and Perspectives in Contemporary Logic and Philosophy of Science], CLUEB, Bologna 1988.

• (with E. Agazzi) Logiche moderne [Modern Logics], Istituto della Enciclopedia Italiana, Rome 1981.

• Il paradiso di Cantor. Il dibattito sui fondamenti della teoria degli insiemi [Cantor's Paradise. The Debate on the Foundations of Set Theory], Bibliopolis, Naples 1979.

• La filosofia della matematica [The Philosophy of Mathematics], Laterza, Rome-Bari 1967, pp. 323.