![Metalogic: An Introduction to the Metatheory of Standard First Order Logic](/mobify/caching/assets/product-image/large/9780520023567.jpg)
Metalogic: An Introduction to the Metatheory of Standard First Order Logic
By
Geoffrey Hunter (Author)
Paperback
Available / dispatched within 1 - 4 weeks
Quantity
Description
This work makes available to readers without specialized training in mathematics complete proofs of the fundamental metatheorems of standard (i.e., basically truth-functional) first order logic. Included is a complete proof, accessible to non-mathematicians, of the undecidability of first order logic, the most important fact about logic to emerge from the work of the last half-century. Hunter explains concepts of mathematics and set theory along the way for the benefit of non-mathematicians. He also provides ample exercises with comprehensive answers.
About the Author
Geoffrey Hunter, now retired, has taught in the Department of Logic and Metaphysics at the University of St. Andrews, Scotland, and has also taught in Canada, England, the United States, and Wales.
More Details
- Contributor: Geoffrey Hunter
- Imprint: University of California Press
- ISBN13: 9780520023567
- Number of Pages: 302
- Packaged Dimensions: 140x210x20mm
- Packaged Weight: 363
- Format: Paperback
- Publisher: University of California Press
- Release Date: 1992-07-01
- Binding: Paperback / softback
- Biography: Geoffrey Hunter, now retired, has taught in the Department of Logic and Metaphysics at the University of St. Andrews, Scotland, and has also taught in Canada, England, the United States, and Wales.
Delivery Options
Home Delivery
Store Delivery
Free Returns
We hope you are delighted with everything you buy from us. However, if you are not, we will refund or replace your order up to 30 days after purchase. Terms and exclusions apply; find out more from our Returns and Refunds Policy.