Adding product to your cart
| Author/Contributor(s): |
Hunter, Geoffrey
|
| Publisher: |
University of California Press
|
| Date: |
06/26/1973
|
| Binding: |
Paperback
|
| Condition: |
NEW
|
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.
Use left/right arrows to navigate the slideshow or swipe left/right if using a mobile device
