Deduction
Daniel (University of Texas, Austin) Bonevac
John Wiley and Sons Ltd, 2002
63,25 €On orderDelivery: 2-3 weeks
Offers a presentation of classical first-order logic. This book 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.
- ISBN-13
- 9780631227137
- ISBN-10
- 063122713X
- Publisher
- John Wiley and Sons Ltd
- Year
- 2002
- Publication date
- 2002-09-13
- Pages
- 528
- Dimensions
- 150x231x28
- Weight
- 708