Metamathematics, Machines and Gödel's Proof Book Discussion
Metamathematics, Machines and Gödel's Proof (Cambridge Tracts in Theoretical Computer Science, Series Number 38)
by
Metamathematics, Machines and Gödel's Proof (Cambridge Tracts in Theoretical Computer Science, Series Number 38)