Intermediate Logic

by David Bostock (Author)

Imported Edition

Delivered in 14-21 working days

Free shipping

Online price: ₹Rs2,520 ₹Rs2,444

You save ₹Rs76

Login/Register to add this product to a wishlist.

You will be asked to pay the full amount when your item is delivered. Only cash is accepted for this type of order. Pay Cash on Delivery

Format: Paperback

Synopsis of Intermediate Logic

Intermediate Logic is an ideal text for anyone who has taken a first course in logic and is progressing to further study. It examines logical theory, rather than the applications of logic, and does not assume any specific technical grounding. The author introduces and explains each concept and term, ensuring that readers have a firm foundation for study. He provides a broad, deep understanding of logic by adopting and comparing a variety of different methods and approaches. 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.

Product details

  • Pages: 402
  • Publisher: Oxford University Press
  • Published: 7th August 1997
  • Language: English
  • ISBN: 9780198751427
  • Category: Philosophy

Reviews of Intermediate Logic

Read customer reviews on this product. If you have read this book, why not post your own review?

Be the first to review this product

Also by David Bostock

Recently viewed by you

Wishlist (x items)
  • hello
Compare (0 items, 0 selected)
Compare selected Deselect all Remove all

Only items of the same type can be compared.