000 00436nmm a2200145Ia 4500
008 230125s9999||||xx |||||||||||||||||und||
020 _a9789048187850
100 _aAndrzej Indrzejczak
245 0 _aNatural Deduction, Hybrid Systems and Modal Logics
250 _a2010
260 _bSpringer Netherlands
_c2010
440 _aTrends in Logic
650 _aMathematics and Statistics
856 _uhttps://doi.org/10.1007/978-90-481-8785-0
999 _c8417
_d8417