000 00497nam a2200193Ia 4500
008 131223s9999 xx 000 0 und d
020 _a0-7923-5334-X
040 _aISI KOLKATA
041 _aEnglish
082 _a160
_bF547
100 _aFitting Melvin
245 _aFirst-order modal logic
260 _aDordrecht
_bKluwer Academic
_c1998
300 _axii,287p.
440 _aSynthese library; v 277
650 _aModality(Logic)
700 _aMendelsohn Richard L
_4Auth.
942 _cBK
999 _c17758
_d17758