|
Barnes & Noble at The Penn State University - SPRING 2011 | ||
Section 2 | ||
Deduction: Introductory Symbolic Logic (2nd Edition) by Daniel A. Bonevac Paperback, 528 Pages, Published 2002 ISBN-10: 0-631-22713-X / 063122713X ISBN-13: 978-0-631-22713-7 / 9780631227137 "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. Both are very natural and easy to learn. The definition of a formula exclu |