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