TY  - DATA
AU  - Andrzej Indrzejczak
TI  - Natural Deduction, Hybrid Systems and Modal Logics
SN  - 9789048187850
PY  - 2010///
PB  - Springer Netherlands
KW  - Mathematics and Statistics
UR  - https://doi.org/10.1007/978-90-481-8785-0
ER  -