Proof Theory Proof Theory
Discrete Mathematics and its Applications

Proof Theory

Sequent Calculi and Related Formalisms

Katalin Bimbó
    • 72,99 €
    • 72,99 €

Description de l’éditeur

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 et nature
SORTIE
2014
20 août
LANGUE
EN
Anglais
LONGUEUR
386
Pages
ÉDITIONS
CRC Press
TAILLE
12,6
Mo

Plus de livres par Katalin Bimbó

Combinatory Logic Combinatory Logic
Combinatory Logic
2011
J. Michael Dunn on Information Based Logics J. Michael Dunn on Information Based Logics
J. Michael Dunn on Information Based Logics
2016

Autres livres de cette série

The Art of Proving Binomial Identities The Art of Proving Binomial Identities
The Art of Proving Binomial Identities
2019
An Atlas of the Smaller Maps in Orientable and Nonorientable Surfaces An Atlas of the Smaller Maps in Orientable and Nonorientable Surfaces
An Atlas of the Smaller Maps in Orientable and Nonorientable Surfaces
2000
Handbook of Combinatorial Algebraic Geometry Handbook of Combinatorial Algebraic Geometry
Handbook of Combinatorial Algebraic Geometry
2026
Weakened Ramsey Theory Weakened Ramsey Theory
Weakened Ramsey Theory
2026
Introduction to Combinatorial Designs Introduction to Combinatorial Designs
Introduction to Combinatorial Designs
2016
Handbook of Finite State Based Models and Applications Handbook of Finite State Based Models and Applications
Handbook of Finite State Based Models and Applications
2016