2 libros en este género
Inexhaustibility
Torkel Franzén
Formal number theory and computability
Alec Fisher