TY  - BOOK
AU  - Esparza, Javier 
AU  - Michaux, Christian
AU  - Steinhorn, Charles 
TI  - Finite and algorithmic model theory
SN  - 9780521718202 paperback
U1  - 530 
PY  - 2011///
CY  - United Kingdom
PB  - Cambridge University Press
KW  - Esparza, Javier 
KW  - Michaux, Christian
KW  - Steinhorn, Charles 
KW  - Finite model theory
KW  - Computer science
KW  - mathematics
N1  - Includes bibliographical references
ER  -