Title: Metamathematics, Machines and Gödel's Proof (Cambridge Tracts in Theoretical Computer Science)
Subjects: Goedel's theorem, Computer science, Automatic theorem proving