|
Sequents and Trees : An Introduction to the Theory and Applications of Propositional Sequent Calculi
Table of Contents:
“...Introduction -- Analytic Sequent Calculus for CPL -- Gentzen's Sequent Calculus LK -- Purely...”