Proof Theory: Sequent Calculi and Related Formalisms

1st Edition

Katalin Bimbo

What are VitalSource eBooks?

Chapman and Hall/CRC
Published August 20, 2014
Reference - 386 Pages
ISBN 9780429099694 - CAT# KE78571

For Instructors Request Inspection Copy

was $57.95


SAVE ~$5.80

Add to Wish List
FREE Standard Shipping!


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


We provide complimentary e-inspection copies of primary textbooks to instructors considering our books for course adoption.

Request an
e-inspection copy

Share this Title