A Brief History of the Soul
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.
Further information and select answers to problems available here: http://bonevac.info/deduction/About_the_Book.html
Country | USA |
Brand | Wiley-Blackwell |
Manufacturer | Wiley-Blackwell |
Binding | Paperback |
ReleaseDate | 2002-11-07 |
UnitCount | 1 |
EANs | 9780631227137 |