TY  - BOOK
AU  - GRADEL ERICH
TI  - FINITE MODEL THEORY AND ITS APPLICATIONS
SN  - 9783540004288
U1  - 511.34 GRA 
PB  - SPRINGER
KW  - MATHEMATICS
ER  -