TY  - BOOK
AU  - Kolaitis, P.G, Marx, M, Gradel, Erich
TI  - Finite model theory and its application
SN  - 9788184895032
U1  - 511.34 FIN 
PY  - 2007///
CY  - NEW DELHI
PB  - SPRINGER
KW  - FINITE MODEL THEORY. COMPUTATIONAL COMPLEXITY.  CONSTRAINT DATABASS
ER  -