Proof Theory
Sequent Calculi and Related Formalisms
Price for Eshop: 1860 Kč (€ 74.4)
VAT 0% included
New
E-book delivered electronically online
E-Book information
Annotation
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
Ask question
You can ask us about this book and we'll send an answer to your e-mail.