£56.99
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.
Sequents and Trees
Handbook of Proof Theory
Proof Theory and Algebra in Logic
Concepts of Proof in Mathematics, Philosophy, and Computer Science
Mathematical Logic and Theoretical Computer Science
Models, Algebras, and Proofs
Logic and Discrete Mathematics
Introduction to Discrete Mathematics via Logic and Proof
Proof And Computation: Digitization In Mathematics, Computer Science And Philosophy
Type Theory and Formal Proof
Mathematical Logic
Sets, Models and Proofs