TY  - BOOK
AU  - Gabbay D M
AU  - Shehtman V B
AU  - Skvortsov D P
TI  - Quantification in nonclassical logic: v1
SN  - 978-0-444-52102-8
U1  - 511.3 
PY  - 2009///
CY  - Amsterdam
PB  - Elsevier
KW  - Nonclassical mathematic logic
ER  -