TY - BOOK AU - Hodges,Wilfrid ED - University of Cambridge TI - A shorter model theory SN - 0521587131 (rustica) AV - QA9.7 H63 U1 - 511.3 20 PY - 1997/// CY - Cambridge, New York PB - Cambridge University Press KW - TeorĂ­a de modelos ER -