Metamathematics,machines,and Godel's proof - Shankar N (Cambridge C U P, 1994)
Keywords: Godel's theorem; Mathematical logic