In the first section, Bostock covers such fundamental notions as truth, validity, entailment, qualification, and decision procedures. Part Two lays out a definitive introduction to four key logical tools or procedures: semantic tableaux, axiomatic proofs, natural deduction, and sequent calculi. The final section opens up new areas of existence and identity, concluding by moveing from orthodox logic to an examination of `free logic'.
Intermediate Logic provides an ideal secondary course in logic for university students, and a bridge to advanced study of such subjects as model theory, proof theory, and other specialized areas of mathematical logic. -
404 pages; ISBN 9780191567070
Title: Intermediate Logic
Author: David Bostock
IB Mathematics Higher Level 2012 US$ 67.20 832 pages
IB Mathematical Studies Standard 2012 US$ 53.60 624 pages