{"product_id":"tableau-methods-for-propositional-logic-and-term-logic-9783631833728","title":"Tableau Methods for Propositional Logic and Term","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\u003e\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\u003eTable of Contents\u003c\/b\u003e\u003cbr\u003e\u003cp\u003elogic – logic of names – philosophical logic – proof theory – propositional logic – tableau methods\u003c\/p\u003e","brand":"Peter Lang AG","offers":[{"title":"Default Title","offer_id":51044505452887,"sku":"9783631833728","price":47.02,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0817\/1739\/5799\/files\/9783631833728.jpg?v=1750961838","url":"https:\/\/bookcurl.com\/products\/tableau-methods-for-propositional-logic-and-term-logic-9783631833728","provider":"Book Curl","version":"1.0","type":"link"}