Proof Theory
Sequent Calculi and Related Formalisms
-
- $114.99
-
- $114.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
An Atlas of the Smaller Maps in Orientable and Nonorientable Surfaces
2000
Introduction to Combinatorial Designs
2016
Handbook of Finite State Based Models and Applications
2016
A Student's Guide to the Study, Practice, and Tools of Modern Mathematics
2010
Verification of Computer Codes in Computational Science and Engineering
2002
Introduction to Cryptography with Open-Source Software
2016