Undecidable Theories: Studies in Logic and the Foundation of Mathematics (Dover Books on Mathematics)
by Alfred Tarski, Andrzej Mostowski, Raphael M. Robinson
Classic studies on undecidability in formal systems by Tarski, Mostowski, and Robinson, foundational to mathematical logic.
About This Book
Undecidable Theories presents rigorous studies in logic and the foundations of mathematics.
The work examines formal systems and the limits of decidability within mathematical frameworks.
Authored by leading logicians, it remains a key reference in mathematical logic.
Reviews
No reviews yet. Be the first to review this book!