| 000 | 00651 a2200229 4500 | ||
|---|---|---|---|
| 010 | _a98037504 | ||
| 020 | _a079235334X (HB : alk. paper) | ||
| 020 | _a0792353358 (pbk. : alk. paper) | ||
| 035 | _a | ||
| 082 | 0 | 0 | _a510.6 |
| 090 |
_c166 _d166 |
||
| 100 | 1 | _aFitting, Melvin | |
| 546 | _aeng | ||
| 245 | 1 | 0 |
_aFirst-order modal logic _cMelvin Fitting and Richard L. Mendelsohn |
| 260 |
_aDordrecht _aBoston _bKluwer Academic _cc1998 |
||
| 300 |
_axii, 287 p _bill _c25 cm |
||
| 440 | 0 |
_aSynthese library _vv. 277 |
|
| 500 | _aCuprinde Bibliografie | ||
| 650 | 0 | _aModality (Logic) | |
| 700 | 1 | _aMendelsohn, Richard L | |
| 942 |
_cCART _aIMAR _k510.6 _sEP |
||
| 999 |
_c144 _d144 |
||