Sequent Calculi and Related Formalisms
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...
To Be Published August 25th 2014 by Chapman and Hall/CRC