TY  - BOOK
AU  - Piecha, Thomas||Schroeder-Heister, Peter
TI  - Advances in Proof-Theoretic Semantics
KW  - Logic||Mathematical Logic and Foundations||Mathematical Logic and Formal Languages
UR  - https://library.oapen.org/bitstream/20.500.12657/28007/1/1001990.pdf||https://library.oapen.org/bitstream/20.500.12657/28007/1/1001990.pdf||https://library.oapen.org/bitstream/20.500.12657/28007/1/1001990.pdf
ER  -