2 livres dans ce genre
Inexhaustibility
Torkel Franzén
Formal number theory and computability
Alec Fisher