Deduction: Introductory Symbolic Logic
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
What people are saying - Write a review
Journal of Research in Music Education, Volumes 39-40
No preview available - 1991