Proof Theory and Algebra in Logic - Ono (Springer Singapore, 2019)