Sentences Undecidable in Formalized Arithmetic An Exposition of the Theory of Kurt Gödel |
|
| Author:
| Mostowski, Andrzej |
| Editor:
| Brouwer, L. E. J.
Beth, E. W.
Heyting, A. |
| ISBN: | 978-1-4832-7512-3 |
| Publication Date: | Jan 1952 |
| Publisher: | Elsevier Science & Technology Books
|
| Imprint: | North Holland |
| Book Format: | Ebook |
| List Price: | USD $31.95USD $38.34 |
Book Description:
|
Sentences Undecidable in Formalized Arithmetic
Sentences Undecidable in Formalized Arithmetic