Title: Methods of Cut-Elimination
Subjects: Mathematics, Symbolic and mathematical Logic, Computer science, Automatic theorem proving, Proof theory, Mathematical Logic and Foundations, Mathematical Logic and Formal Languages