TY  - DATA
AU  - Henryk Kotlarski, Zofia Adamowicz, Teresa Bigorajska, Konrad Zdanowski
TI  - A Model–Theoretic Approach to Proof Theory
SN  - 9783030289218
PY  - 2019///
PB  - Springer International Publishing
KW  - Mathematics and Statistics
UR  - https://doi.org/10.1007/978-3-030-28921-8
ER  -