Check nearby libraries
Buy this book
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Showing 1 featured edition. View all 1 editions?
Edition | Availability |
---|---|
1
Metamathematics, Machines and Gödel's Proof (Cambridge Tracts in Theoretical Computer Science)
March 28, 1997, Cambridge University Press
Paperback
in English
0521585333 9780521585330
|
aaaa
Libraries near you:
WorldCat
|
Book Details
First Sentence
"Very few mathematical statements can be judged to be true or false solely by means of direct observation."
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?October 5, 2021 | Edited by ImportBot | import existing book |
April 28, 2010 | Edited by Open Library Bot | Linked existing covers to the work. |
December 10, 2009 | Created by WorkBot | add works page |