| Management number | 231815671 | Release Date | 2026/06/18 | List Price | US$26.21 | Model Number | 231815671 | ||
|---|---|---|---|---|---|---|---|---|---|
| Category | |||||||||
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 Read more
| ASIN | B00OD426RE |
|---|---|
| XRay | Not Enabled |
| Format | Print Replica |
| ISBN13 | 978-1466564688 |
| Edition | 1st |
| Language | English |
| File size | 22.4 MB |
| Page Flip | Not Enabled |
| Publisher | Chapman and Hall/CRC |
| Word Wise | Not Enabled |
| Print length | 386 pages |
| Accessibility | Learn more |
| Publication date | August 20, 2014 |
| Enhanced typesetting | Not Enabled |
If you notice any omissions or errors in the product information on this page, please use the correction request form below.
Correction Request Form