| 000 | 00601nam a2200205Ia 4500 | ||
|---|---|---|---|
| 008 | 191130s1996##################000#0#eng## | ||
| 020 | _a9780198538332 | ||
| 022 | _a96025507 | ||
| 040 |
_aACL _cACL |
||
| 082 | _a006.33 GAB | ||
| 100 | _aGabbay, Dov M | ||
| 245 |
_aLabelled deductive systems _cDov M. Gabbay |
||
| 260 |
_aOxford _bClarendon Press ; Oxford University Press _c-1996 |
||
| 300 | _axiii, 497 p. : ill. ; 24 cm | ||
| 500 | _aIncludes bibliographical references and index | ||
| 650 | _aLogic | ||
| 990 | _ab232af63ac10000c001862a66993e29f | ||
| 991 | _a110096 | ||
| 999 |
_c227480 _d227480 |
||