The book is currently out of stock
Parameters
More about the book
This book is well known for its proof that many mathematical systems — including lattice theory and closure algebras — are undecidable. It consists of three treatises from one of the greatest logicians of all time: "A General Method in Proofs of Undecidability," "Undecidability and Essential Undecidability in Mathematics," and "Undecidability of the Elementary Theory of Groups."
Book purchase
Undecidable Theories, Alfred Tarski
- Language
- Released
- 2010
- product-detail.submit-box.info.binding
- (Paperback)
We’ll email you as soon as we track it down.
Payment methods
We’re missing your review here.