000 | 00728nam a2200229Ia 4500 | ||
---|---|---|---|
008 | 191130s2009##################000#0#eng## | ||
020 | _a9780444520128 | ||
040 |
_aACL _cACL |
||
082 | _a511.31 GAB | ||
100 | _aGabbay, D. M | ||
245 |
_aQuantification in nonclassical logic _cD. M. Gabbay, V. B. Shehtman, D. P. Skvortsov |
||
250 | _a1st ed | ||
260 |
_aAmsterdam ; London _bElsevier _c2009 |
||
300 | _av. (xxiv, 615 p. ) : ill. ; 24 cm. | ||
500 | _aContents: v. 1. Includes bibliographical references and index | ||
650 | _aNonclassical mathematical logic | ||
700 | _aShehtman, V. B | ||
700 | _aSkvortsov, D. P | ||
990 | _a29bdc82fac10000c363def33f22ebbd9 | ||
991 | _a147435 | ||
999 |
_c48095 _d48095 |