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."
| ISBN: | 9780486477039 |
| Publication date: | 24th September 2010 |
| Author: | Alfred Tarski, Andrzej Mostowski, Raphael M Robinson |
| Publisher: | Dover Publications an imprint of Dover Publications Inc. |
| Format: | Paperback |
| Pagination: | 98 pages |
| Series: | Dover Books on Mathematics |
| Genres: |
Mathematical logic |