Proof Theory
Sequent Calculi and Related Formalisms
-
- 72,99 €
-
- 72,99 €
Publisher Description
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
GENRE
Science & Nature
RELEASED
2014
20 August
LANGUAGE
EN
English
LENGTH
386
Pages
PUBLISHER
CRC Press
SIZE
12.6
MB