{"product_id":"deduction-introductory-symbolic-logic","title":"Deduction Introductory Symbolic Logic","description":"\u003cp\u003e\u003ci\u003eDeduction\u003c\/i\u003e 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.\u003c\/p\u003e\u003cul\u003e\n\u003cli\u003eEfficient and elegant presentation of classical first-order logic. \u003c\/li\u003e\n\u003cli\u003ePresents a truth tree system based on the work of Jeffrey, as well as a natural deduction system inspired by that of Kalish and Montague. \u003c\/li\u003e\n\u003cli\u003eContains 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. \u003c\/li\u003e\n\u003cli\u003eIncludes problem sets, designed to lead students gradually from easier to more difficult problems. \u003c\/li\u003e\n\u003c\/ul\u003e\u003cp\u003eFurther information and select answers to problems available here: http:\/\/bonevac.info\/deduction\/About_the_Book.html\u003c\/p\u003e","brand":"Wiley","offers":[{"title":"Default Title","offer_id":48175837708478,"sku":"9780631227137","price":72.86,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0536\/0592\/5054\/files\/20145893482412.jpg?v=1784421525","url":"https:\/\/bookshopnow.com\/products\/deduction-introductory-symbolic-logic","provider":"Book Shop Now","version":"1.0","type":"link"}