Proof Theory and Algebra in Logic
Springer Singapore