Metamathematics, Machines and Gödel's Proof (Cambridge Tracts in Theoretical Computer Science, Series Number 38)
Full Title: | Metamathematics, Machines and Gödel's Proof (Cambridge Tracts in Theoretical Computer Science, Series Number 38) |
---|---|
ISBN: | 0521585333 |
ISBN13: | 9780521585330 |
List Price: | USD $50.00 |
Authors: |
Shankar, N. |