Contact
How to shop
Delivery
Shopping guide
Undecidable Theories
Studies in Logic and the Foundation of Mathematics
English
29 b
Up to 30 days for returns
Customers also purchased
/
Paperback
12.53
€
/
Paperback
12.13
€
I. A General Method in Proofs of Undecidability by Alfred Tarski I.1. Introduction I.2. Theories with standard formalization I.3. Undecidable and essentially undecidable theories I.4. Interpretability and weak interpretability I.5. Relativization of quantifiers I.6. Examples and applications II. Undecidability and Essential Undecidability in Arithmetic by Andrzej Mostowski, Raphael M. Robinson, and Alfred Tarski II.1. A summary of results; notation II.2. Definability in arbitrary theories II.3. Formalized arithmetic of natural numbers and its subtheories II.4. Recursiveness and definability in subtheories of arithmetic II.5. Undecidability of subtheories of arithmetic II.6. Extension of the results to other arithmetical theories and to various theories of rings III. Undecidability of the Elementary Theory of Groups by Alfred Tarski Bibliography Index
About the book
English
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's addressYou might also be interested in
/
Paperback
11.52
€
/
Paperback
50.87
€
Hi! I'm Libroamiko, your book advisor.
How can I help you?