{"product_id":"tableau-methods-for-propositional-logic-and-term-logic","title":"Tableau Methods for Propositional Logic and Term Logic","description":"\u003cp\u003eThe book aims to formalise tableau methods for the logics of propositions and names. The methods described are based on Set Theory. The tableau rule was reduced to an ordered n-tuple of sets of expressions where the first element is a set of premises, and the following elements are its supersets.\u003c\/p\u003e","brand":"Peter Lang AG","offers":[{"title":"Default Title","offer_id":47391811404120,"sku":"9783631833728","price":65.99,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0278\/1295\/4195\/files\/9783631833728_a24e42fb-efc8-46db-8789-175445344276.jpg?v=1778625033","url":"https:\/\/agendabookshop.com\/products\/tableau-methods-for-propositional-logic-and-term-logic","provider":"Agenda Bookshop","version":"1.0","type":"link"}