- La matematica (Grande Opera Einaudi)
- About Logic and Logicians: a palimpsest of essays by Georg Kreisel (2019)
- Il club dei matematici solitari del prof. Odifreddi (2009)
- Kurt Gödel – La prova matematica dell’esistenza di Dio (2006)
- Zichicche (2003)
- Kreiseliana (1996)
- Logic and Computer Science: C.I.M.E. Lectures (1990)
