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."
Undecidable Theories: Studies in Logic and the Foundation of Mathematics (Dover Books on Mathematics)
ISBN: 0486477037
ISBN 13: 9780486477039
Authors: Alfred Tarski, Andrzej Mostowski, Raphael M. Robinson