TY  - DATA
AU  - Heinrich Wansing
TI  - Proof Theory of Modal Logic
SN  - 9789401727983
PY  - 1996///
PB  - Springer Netherlands
KW  - Mathematics and Statistics
UR  - https://doi.org/10.1007/978-94-017-2798-3
ER  -