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