Proof Theory and Algebra in Logic - Ono, Hiroakira; Ono, Hiroakira (Springer Singapore : Imprint: Springer, 2019)