TY  - DATA
AU  - Thomas Piecha
AU  -  Peter Schroeder-Heister
TI  - Advances in Proof Theoretic Semantics
T2  - Trends in Logic
SN  - 9783319226866
PB  - Springer
KW  - Mathematics and Statistics
UR  - https://link.springer.com/openurl?genre=book&isbn=978-3-319-22686-6
ER  -