TY  - BOOK
AU  - Gradel, Erich...[Et. Al]
TI  - Finite model theory and its applications
SN  - 9783540004288
U1  - 511.3 
PY  - 2007///
CY  - Berlin
PB  - Springer
KW  - Mathematical Logic 2.Computational Complexity 3.Database Theory
ER  -