Skip to main content alibris logo
Deduction 2e - Bonevac
Filter Results
Item Condition
Seller Rating
Other Options
Change Currency

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: ...

loading
Deduction 2e 2002, John Wiley & Sons

ISBN-13: 9780631227137

2nd edition

Trade paperback