Undecidable Theories
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | 1953 |
| Authors | Alfred Tarski |
| Editors | Raphael M. Robinson |
| Date of Reg. | |
| Date of Upd. | |
| ID | 3115466 |
About Undecidable Theories
This graduate-level book is well known for its proof that many mathematical systems--including lattice theory, abstract projective geometry, and closure algebras--are undecidable. . . .