by Daniel Bonevac (Author)
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.
Format: Paperback
Pages: 528
Edition: 2nd Edition
Publisher: Wiley-Blackwell
Published: 13 Sep 2002
ISBN 10: 063122713X
ISBN 13: 9780631227137
FREE UK DELIVERY 
Global shipping from £2.99
FREE UK DELIVERY
30 Day Refund Guarantee
