TY  - BOOK
AU  - Ebbinghaus,Heinz-Dieter
AU  - Flum,Jorg
TI  - Finite model theory
SN  - 9783540287872 (alk. paper)
AV  - QA 9.7 E23.2005
PY  - 2005///
CY  - New York, NY
PB  - Springer
KW  - Model theory
KW  - Teoría del modelo
N1  - Incluye referencias bibliográficas (p. 339-3479) e índice
ER  -