000
a
020
_a
9780444500557
100
_a
M. Kracht
245
_a
Tools and Techniques in Modal Logic
260
_b
Elsevier Science
_c
1999
999
_c
32667
_d
32667