Proof Theory: Sequent Calculi and Related Formalisms

Front Cover
Taylor & Francis, Aug 22, 2014 - Mathematics - 386 pages
1 Review

Proof theory, particularly sequent calculi, allows you to provide completely formal proofs of theorems and facilitate reasoning about proofs. However, sequent calculi are not widely taught to students at either the undergraduate or graduate levels. Remedying this deficiency, this book provides a comprehensive introduction to sequent calculi. It incorporates new developments in the theory of sequent calculi from the last few decades, including recent results on consecution calculi and proof systems.

What people are saying - Write a review

We haven't found any reviews in the usual places.