Proof Theory
Sequent Calculi and Related Formalisms
-
- $84.99
-
- $84.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
August 20
LANGUAGE
EN
English
LENGTH
386
Pages
PUBLISHER
CRC Press
SELLER
Taylor & Francis Group
SIZE
12.6
MB