{"product_id":"deduction","title":"Deduction","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: \u003cb\u003ebonevac.info\/deduction\/About_the_Book.html\u003c\/b\u003e\u003c\/p\u003e","brand":"John Wiley and Sons Ltd","offers":[{"title":"Default Title","offer_id":54241689567576,"sku":"9780631227137","price":51.99,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0278\/1295\/4195\/files\/9780631227137.jpg?v=1778581850","url":"https:\/\/agendabookshop.com\/products\/deduction","provider":"Agenda Bookshop","version":"1.0","type":"link"}