2 libri in questo genere
Inexhaustibility
Torkel Franzén
Formal number theory and computability
Alec Fisher