Text this: Metamathematics, machines, and Gödel's proof / N. Shankar.