TY  - BOOK
AU  - Libkin,Leonid;
TI  - Elements of Finite Model Theory
SN  - 3540212027
U1  - 511.1LIB 2004. 
CY  - Berlin;Springer,2004.
KW  - physics
N1  - includes index and references
ER  -