ISBN-13: 9780631227137 / Angielski / Miękka / 2002 / 528 str.
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.