Proof Theory Proof Theory
Discrete Mathematics and its Applications

Proof Theory

Sequent Calculi and Related Formalisms

Katalin Bimbó
    • 69,99 €
    • 69,99 €

Beschreibung des Verlags

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
Wissenschaft und Natur
ERSCHIENEN
2014
20. August
SPRACHE
EN
Englisch
UMFANG
386
Seiten
VERLAG
CRC Press
GRÖSSE
12,6
 MB

Mehr Bücher von 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

Andere Bücher in dieser Reihe

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
A Student's Guide to the Study, Practice, and Tools of Modern Mathematics A Student's Guide to the Study, Practice, and Tools of Modern Mathematics
A Student's Guide to the Study, Practice, and Tools of Modern Mathematics
2010