| 000 | 00605nam a2200205Ia 4500 | ||
|---|---|---|---|
| 008 | 191130s2000##################000#0#eng## | ||
| 020 | _a9780792362371 | ||
| 022 | _a28202 | ||
| 040 |
_aACL _cACL |
||
| 082 | _a511.3 BAS | ||
| 245 |
_aLabelled deduction _cedited by David Basin ... [et al.] |
||
| 260 |
_aDordrecht ; Boston _bKluwer Academic Publishers _cc2000 |
||
| 300 | _axi, 266 p. : ill. ; 25 cm | ||
| 500 | _aIncludes bibliographical references | ||
| 650 | _aModality (Logic) | ||
| 700 | _aBasin, David | ||
| 990 | _a99b5f7e9ac10000c5910a2acacbd257f | ||
| 991 | _a208555 | ||
| 999 |
_c227479 _d227479 |
||