A model-theoretic approach to proof theory - Kotlarski, Henryk 1949-2008 (Springer, 2019)