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 |