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