TY  - BOOK
AU  - Gradel,, Erich
TI  - Finite model theory and its applications / 
U1  - 620.001 518 25 
PY  - 2007///
CY  - New Delhi
PB  - Springer
KW  - Finite theory
ER  -