A Model-Theoretic Approach to Proof Theory - Kotlarski, Henryk; Kotlarski, Henryk (Springer International Publishing : Imprint: Springer, 2019)