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