TY  - BOOK
AU  - Henryk Kotlarski, Zofia Adamowicz, Teresa Bigorajska, Konrad Zdanowski
TI  - A Model–Theoretic Approach to Proof Theory
SN  - 9783030289218
PB  - Springer
UR  - https://link.springer.com/openurl?genre=book&isbn=978-3-030-28921-8
ER  -