TY - BOOK AU - Ebbinghaus,Heinz-Dieter TI - Finite model theory SN - 3540287876 PY - 0000///Springer, PY - 1999/// CY - New York KW - Model theory ER -