Title
Metalogic: An Introduction to the Metatheory of Standard First Order Logic,Used
Sold by Ergodebooks, an authorized reseller.
Returns accepted within 30 days | support@ergodebooks.com
Shipping Information
- Free Standard Shipping — United States only
- Processing Time: 3–5 business days
- Estimated Delivery: 6–10 business days after dispatch
- Double-boxed, fully insured & discreetly packaged
- Tracking number sent via email once dispatched
Returns & Refund
Returns accepted within 30 days of delivery.
Damaged or Defective Item
Free return shipping + replacement or full refund
Wrong Item Received
Free return shipping + replacement or full refund
Change of Mind
Return shipping at customer's expense · 25% restocking fee applies
Payment Option
This work makes available to readers without specialized training in mathematics complete proofs of the fundamental metatheorems of standard (i.e., basically truthfunctional) first order logic. Included is a complete proof, accessible to nonmathematicians, of the undecidability of first order logic, the most important fact about logic to emerge from the work of the last halfcentury.Hunter explains concepts of mathematics and set theory along the way for the benefit of nonmathematicians. He also provides ample exercises with comprehensive answers.
⚠️ WARNING (California Proposition 65):
This product may contain chemicals known to the State of California to cause cancer, birth defects, or other reproductive harm.
For more information, please visit www.P65Warnings.ca.gov.
- Q: What is the main focus of 'Metalogic: An Introduction to the Metatheory of Standard First Order Logic'? A: The book focuses on providing complete proofs of the fundamental metatheorems of standard first order logic, making complex concepts accessible to readers without specialized training in mathematics.
- Q: Who is the author of the book? A: The author of the book is Geoffrey Hunter.
- Q: What type of logic does the book explore? A: The book explores truth-functional first order logic and includes discussions on its undecidability.
- Q: Is this book suitable for non-mathematicians? A: Yes, the book is designed to be accessible to non-mathematicians, with explanations of concepts in mathematics and set theory.
- Q: How many pages does the book have? A: The book has 304 pages.
- Q: What is the binding type of this book? A: The book is available in paperback binding.
- Q: When was the book published? A: The book was published on June 26, 1996.
- Q: Does the book include exercises and answers? A: Yes, the book provides ample exercises along with comprehensive answers for readers.
- Q: What edition of the book is available? A: This is the First Edition of the book.
- Q: What category does this book fall under? A: The book falls under the category of History & Philosophy.