Metalogic: An Introduction to the Metatheory of Standard First Order Logic,Used

Metalogic: An Introduction to the Metatheory of Standard First Order Logic,Used

In Stock
SKU: SONG0520023560
Brand: University of California Press
$26.22
Quantity
Add to wishlist
Add to compare

Processing time: 1-3 days

US Orders Ships in: 3-5 days

International Orders Ships in: 8-12 days

Return Policy: 15-days return on defective items

Payment Option
Payment Methods

Help

If you have any questions, you are always welcome to contact us. We'll get back to you as soon as possible, withing 24 hours on weekdays.

Customer service

All questions about your order, return and delivery must be sent to our customer service team by e-mail at yourstore@yourdomain.com

Sale & Press

If you are interested in selling our products, need more information about our brand or wish to make a collaboration, please contact us at press@yourdomain.com

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.

Recently Viewed