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