Textbook on Gödel's incompleteness theorems and computability theory - View it on GitHub