TY  - BOOK
AU  - Gradel, Erich
AU  - Kolaitis, Phokion G
AU  - Libkin, Leonid...[et al.]
TI  - Finite model theory and its applications
T2  - Texts in theoretical computer science an EATCS series
SN  - 9788184895032
PB  - New Delhi
KW  - Finite model theory
N1  - Includes bibliographical references and index
ER  -