TY  - BOOK
AU  - Libkin, Leonid
AU  - 
TI  - Elements of finite model theory
SN  - 3-540-21202-7
U1  - 519.6 
PY  - 2004///
CY  - Germany
PB  - Springer-Verlag
KW  - Finite model theory
KW  - Computational mathematics
ER  -