000 | 01056nam a2200265 a 4500 | ||
---|---|---|---|
001 | vtls003211570 | ||
003 | MY-SjTCS | ||
005 | 20200306164945.0 | ||
008 | 110218s2009 ne a b 001 0 eng d | ||
020 | _a9780444520128 (v. 1: hbk.) | ||
020 | _a0444520120 (v. 1: hbk.) | ||
039 | 9 |
_a201103111130 _bwilmina _c201102181821 _dVLOAD _y201010211802 _zpazmi |
|
082 | 0 | 4 |
_a511.31 _bGAB 2009 |
100 | 1 |
_aGabbay, Dov M., _d1945- _910170 |
|
245 | 1 | 0 |
_aQuantification in nonclassical logic / _cD.M. Gabbay, V.B. Shehtman, D.P. Skvortsov. |
260 |
_aAmsterdam : _bElsevier, _cc2009. |
||
300 |
_axxiv, 615 p. : _bill. ; _c24 cm. |
||
490 | 1 |
_aStudies in logic and the foundations of mathematics, _x0049-237X ; _vv. 153 |
|
504 | _aIncludes bibliographical references and index. | ||
650 | 0 |
_aNonclassical mathematical logic. _910875 |
|
700 | 1 |
_aShehtman, V. B. _q(Valentin B.) _9257061 |
|
700 | 1 |
_aSkvortsov, D. P. _q(Dmitrij P.) _9257062 |
|
830 | 0 |
_aStudies in logic and the foundations of mathematics ; _vv. 153 _9103662 |
|
920 | _aSOCIT : 153384 | ||
999 |
_c51939 _d51939 |