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
Ask the Experts: Physics and Math 2014 US$ 4.99 135 pages
A Student's Guide to Numerical Methods 2015 US$ 24.00 224 pages