The Leading eBooks Store Online
for Kindle Fire, Apple, Android, Nook, Kobo, PC, Mac, BlackBerry ...
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
IB Mathematics Standard Level 2012 US$ 58.80 800 pages
IB Mathematics Higher Level 2012 US$ 67.20 832 pages
IB Mathematical Studies Standard 2012 US$ 53.60 624 pages
Cambridge IGCSE Mathematics Core and Extended Coursebook with CD-ROM 2012 US$ 27.00 890 pages