Overview
The first article, "A General Method in Proofs of Undecidability," examines theories with standard formalization, undecidable theories, interpretability, and relativization of quantifiers. The second feature, "Undecidability and Essential Undecidability in Mathematics," explores definability in arbitrary theories and the formalized arithmetic of natural numbers. It also considers recursiveness, definability, and undecidability in subtheories of arithmetic as well as the extension of results to other arithmetical theories. The compilation concludes with “Undecidability of the Elementary Theory of Groups."
This book title, Undecidable Theories (Studies in Logic and the Foundation of Mathematics), ISBN: 9780486477039, by Alfred Tarski, Andrzej Mostowski, Raphael M. Robinson, published by Dover Publications (August 19, 2010) is available in paperback. Our minimum order quantity is 25 copies. All standard bulk book orders ship FREE in the continental USA and delivered in 4-10 business days.
Unlike Amazon and other retailers who may also offer Undecidable Theories (Studies in Logic and the Foundation of Mathematics) books on their website, we specialize in large quantities and provide personal service, from trusted, experienced, friendly people in Portland, Oregon. We offer a Price Match Guarantee, and QuickQuote form, to make purchasing quick and easy.
Prefer to work with a human being when you order Undecidable Theories (Studies in Logic and the Foundation of Mathematics) books in bulk? Our Book Specialists are standing by Monday-Friday 8-5 PST, ready to help!