Dalla terra alle lune

Kreiseliana

The Mathematical Century

Classical Recursion Theory (Studies in Logic and the Foundations of Mathematics)

Classical Recursion Theory, Volume II (Studies in Logic and the Foundations of Mathematics)

C'è del marcio in Occidente

Il dio della logica. Vita geniale di Kurt Gödel matematico della filosofia

Il museo dei numeri. Da zero verso l'infinito, storie dal mondo della matematica

Caro papa, ti scrivo

Una via di fuga

Perché Dio non esiste