A Model–Theoretic Approach to Proof Theory - Kotlarski, Henryk; Adamowicz, Zofia; Bigorajska, Teresa; Zdanowski, Konrad (Springer International Publishing, 2019)