2 books in this genre
Inexhaustibility
Torkel Franzén
Formal number theory and computability
Alec Fisher
