A model–theoretic approach to proof theory - Kotlarski, Henryk 1949-2008 (Trends in logic, 2019)