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_W3siaWQiOiI3N2Q2NjA3OC02YTRkLTQ5MTUtOTVjOC0yODA0MGZlYTI1YTUiLCJsaXN0UHJpY2UiOjE0NTEsImRpc2NvdW50IjowLCJzZWxsaW5nUHJpY2UiOjE0NTEsImluY2x1ZGVzVGF4Ijp0cnVlLCJwcmljZVR5cGUiOiJXaG9sZXNhbGUiLCJjdXJyZW5jeSI6Ik1YTiIsImZyb20iOiIyMDI1LTA5LTA2VDExOjAwOjAwWiIsInRvIjoiMjAyNS0wOS0zMFQyMzo1OTo1OVoiLCJyZWdpb24iOiJNWCIsImlzUHJlb3JkZXIiOmZhbHNlfSx7ImlkIjoiYzE2ZmQ1YWEtODNmYS00MmJkLThmNDEtMzJkNWEwY2ZmNGI0IiwibGlzdFByaWNlIjoxMzk5LCJkaXNjb3VudCI6MCwic2VsbGluZ1ByaWNlIjoxMzk5LCJpbmNsdWRlc1RheCI6dHJ1ZSwicHJpY2VUeXBlIjoiV2hvbGVzYWxlIiwiY3VycmVuY3kiOiJNWE4iLCJmcm9tIjoiMjAyNS0xMC0wMVQwMDowMDowMFoiLCJyZWdpb24iOiJNWCIsImlzUHJlb3JkZXIiOmZhbHNlfV0=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