TY  - GEN
AU  - Piecha,Thomas
AU  - Schroeder-Heister,Peter
AU  - Piecha,Thomas
AU  - Schroeder-Heister,Peter
TI  - Advances in Proof-Theoretic Semantics
SN  - 978-3-319-22686-6
PY  - 2016///
CY  - Cham
PB  - Springer Nature
KW  - Mathematics & science
KW  - bicssc
KW  - Probability & statistics
KW  - Logic
KW  - Mathematical Logic and Foundations
KW  - Mathematical Logic and Formal Languages
N1  - Open Access
N2  - Logic;  Mathematical Logic and Foundations;  Mathematical Logic and Formal Languages
UR  - https://library.oapen.org/bitstream/20.500.12657/28007/1/1001990.pdf
UR  - https://library.oapen.org/bitstream/20.500.12657/28007/1/1001990.pdf
UR  - https://library.oapen.org/bitstream/20.500.12657/28007/1/1001990.pdf
UR  - https://directory.doabooks.org/handle/20.500.12854/35925
ER  -