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

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 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

La via lattea