A01=Geoffrey Hunter
ample exercises
arbitrary formula
Author_Geoffrey Hunter
cardinal number
Category=PBCD
complete proof
complete proofs
comprehensive answers
deduction theorem
denumerable model
derivation
eq_isMigrated=1
eq_isMigrated=2
eq_nobargain
first order logic
fundamental metatheorems
history
logic
math
math and science
mathematical logic
mathematicians
mathematics
mathematics and physics
metamath
set theory
textbook
Product details
- ISBN 9780520023567
- Weight: 363g
- Dimensions: 140 x 210mm
- Publication Date: 26 Jun 1973
- Publisher: University of California Press
- Publication City/Country: US
- Product Form: Paperback
Secure
checkout
Fast Shipping
Easy returns
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.
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.
