When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.
Deduction : Introductory Symbolic Logic, Paperback by Bonevac, Daniel, ISBN 063122713X, ISBN-13 9780631227137, Used Good Condition, Free shipping in the US
<p><i>Deduction</i> 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.</p> <ul> <li>Efficient and elegant presentation of classical first-order logic. </li> <li>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. </li> <li>Contains detailed, yet accessible chapters on extensions and revisions of classical logic: modal logic, many-valued logic, fuzzy logic, intuitionistic logic, counterfactuals, deontic logic, common sense reasoning, and quantified modal logic. </li> <li>Includes problem sets, designed to lead students gradually from easier to more difficult problems. </li> </ul> <p>Further information and select answers to problems available here: <a href="
When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.