Wiley.com
Print this page Share
Textbook

Deduction: Introductory Symbolic Logic, 2nd Edition

ISBN: 978-0-631-22713-7
Paperback
528 pages
November 2002, ©2002, Wiley-Blackwell
List Price: US $75.95
Government Price: US $52.44
Enter Quantity:   Buy
Deduction: Introductory Symbolic Logic, 2nd Edition (063122713X) cover image
This is a Print-on-Demand title. It will be printed specifically to fill your order. Please allow an additional 10-15 days delivery time. The book is not returnable.

Deduction is an efficient and elegant presentation of classical first-order logic. It presents a truth tree system based on the work of Jeffrey, as well as a natural deduction system inspired by that of Kalish and Montague.

  • Efficient and elegant presentation of classical first-order logic.
  • Presents a truth tree system based on the work of Jeffrey, as well as a natural deduction system inspired by that of Kalish and Montague.
  • Contains detailed, yet accessible chapters on extensions and revisions of classical logic: modal logic, many-valued logic, fuzzy logic, intuitionistic logic, counterfactuals, deontic logic, common sense reasoning, and quantified modal logic.
  • Includes problem sets, designed to lead students gradually from easier to more difficult problems.

Further information and select answers to problems available here: http://bonevac.info/deduction/About_the_Book.html

Back to Top