TY  - BOOK
AU  - Gradel Kolaitis
AU  - Marx
TI  - Finite model theory and its applications
SN  - 0000101131
U1  - 1.539 
PY  - 2007///
CY  - New Delhi
PB  - Springer
KW  -  Finite
KW  -  its
KW  -  model
KW  -  theory
KW  - applications
KW  - Computer Science Engineering
ER  -