Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and
76,28 €
Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. It focuses on sequent calculi for various non-classical logics, from intuitionistic logic to relevance logic, linear logic, and modal logic.
Jetzt bei Ebay:
![Produktbild - Discrete Mathematics: Essentials and Applications [Paperback]](https://i.ebayimg.com/thumbs/images/g/fesAAeSwTS9oS3Kv/s-l140.jpg)
