TY  - BOOK
AU  - GRADEL, ERICH
AU  - KOLAITIS, PHOKION G.
AU  - LIBKIN, LEONID
TI  - FINITE MODEL THEORY AND ITS APPLICATIONS
U1  - 670.285.285 
CY  - NEW DELHI
KW  -   FINITE MODEL THEORY
ER  -