| 000 | 00591nam a2200121Ia 4500 | ||
|---|---|---|---|
| 008 | 220620s9999||||xx |||||||||||||| ||und|| | ||
| 245 | 0 | _aAdvances in Proof-Theoretic Semantics | |
| 546 | _aEnglish[eng] | ||
| 650 | _aLogic||Mathematical Logic and Foundations||Mathematical Logic and Formal Languages | ||
| 700 | _aPiecha, Thomas||Schroeder-Heister, Peter | ||
| 856 | _uhttps://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 | ||
| 942 | _cEB | ||
| 999 |
_c35179 _d35179 |
||