product
4683637Proof Theoryhttps://www.gandhi.com.mx/proof-theory-9781040058978/phttps://gandhi.vtexassets.com/arquivos/ids/4154707/image.jpg?v=63844336166423000014511451MXNCRC PressInStock/Ebooks/<p>Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. Addressing this deficiency, Proof Theory: Sequent Calculi and Related Formalisms presents a comprehensive treatment of sequent calculi, including a wide range of variations. It focuses on sequent calculi</p>...4476505Proof Theory14511451https://www.gandhi.com.mx/proof-theory-9781040058978/phttps://gandhi.vtexassets.com/arquivos/ids/4154707/image.jpg?v=638443361664230000InStockMXN99999DIEbook20149781040058978_W3siaWQiOiJhZTQxZmU0MC0zZTE4LTRmMzYtYTI4Mi04Mzc5MjE1YzdhN2MiLCJsaXN0UHJpY2UiOjE1MzgsImRpc2NvdW50IjowLCJzZWxsaW5nUHJpY2UiOjE1MzgsImluY2x1ZGVzVGF4Ijp0cnVlLCJwcmljZVR5cGUiOiJXaG9sZXNhbGUiLCJjdXJyZW5jeSI6Ik1YTiIsImZyb20iOiIyMDI1LTA2LTA5VDIxOjAwOjAwWiIsInRvIjoiMjAyNS0wNi0zMFQyMzo1OTo1OVoiLCJyZWdpb24iOiJNWCIsImlzUHJlb3JkZXIiOmZhbHNlfSx7ImlkIjoiZTZhMzk1NjItNzY3NC00YzY4LTg4YWUtZDU1ZmJjODA4MmM4IiwibGlzdFByaWNlIjoxNDUxLCJkaXNjb3VudCI6MCwic2VsbGluZ1ByaWNlIjoxNDUxLCJpbmNsdWRlc1RheCI6dHJ1ZSwicHJpY2VUeXBlIjoiV2hvbGVzYWxlIiwiY3VycmVuY3kiOiJNWE4iLCJmcm9tIjoiMjAyNS0wNy0wMVQwMDowMDowMFoiLCJyZWdpb24iOiJNWCIsImlzUHJlb3JkZXIiOmZhbHNlfV0=9781040058978_<p>Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. Addressing this deficiency, Proof Theory: Sequent Calculi and Related Formalisms presents a comprehensive treatment of sequent calculi, including a wide range of variations. It focuses on sequent calculi</p>...9781040058978_CRC Presslibro_electonico_9781040058978_9781040058978Katalin BimboInglésMéxicohttps://getbook.kobo.com/koboid-prod-public/taylorandfrancis-epub-9bc3abd3-e2e9-4b63-b36e-86555e2c2b08.epub2014-08-20T00:00:00+00:00CRC Press