Piergiorgio Odifreddi

C'è spazio per tutti

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

Kreiseliana

The Mathematical Century