TY - BOOK AU - Hodges Wilfrid TI - Model theory SN - 0-521-30442-3 U1 - 511.8 PY - 1997/// CY - Cambridge PB - CUP KW - Model theory ER -