N. Shankar

• Metamathematics, Machines and Gödel's Proof
• Metamathematics, Machines and Gödel's Proof (Cambridge Tracts in Theoretical Computer Science)
• Metamathematics, machines, and Gödel's proof