Metamathematics, machines, and Godel's proof - Shankar, N. (Cambridge University Press, 1997)