TY  - GEN
AU  - Kracht,Marcus
TI  - Tools and techniques in modal logic
SN  - 0444500553 (alk. paper)
U1  - 511.3 
PY  - 1999///
CY  - Amsterdam, New York
PB  - Elsevier
KW  - Modality (Logic)
N1  - Contine bibliogr. si index
UR  - http://www.loc.gov/catdir/enhancements/fy0602/99030921-d.html
UR  - http://www.loc.gov/catdir/enhancements/fy0602/99030921-t.html
ER  -