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
The Foundations of Mathematics 2015 US$ 23.99 416 pages
Alan Turing: The Enigma 2014 US$ 16.95 777 pages