{"product_id":"tableau-methods-for-propositional-logic-jan-hartman-9783631833728","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\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Jan Hartman, Tomasz Jarmużek\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 3631833725\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9783631833728\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Peter Lang Gmbh, Internationaler Verlag Der W\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 01\/27\/2021\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 228\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Hardcover\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 1.00lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 8.27h x 5.83w x 0.69d","brand":"Jan Hartman","offers":[{"title":"Hardcover","offer_id":43944237302015,"sku":"9783631833728","price":71.0,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/products\/img_6a037ce4-91f5-4ac0-86a8-efa0ea10fbd3.jpg?v=1681502555","url":"https:\/\/www.whiterainbookhouse.com\/products\/tableau-methods-for-propositional-logic-jan-hartman-9783631833728","provider":"WR Book House","version":"1.0","type":"link"}