Shorter model theory Hodges, Wilfrid. - Cambridge ; | New York : Cambridge University Press, 1997 - x, 310 p. : ill. ; 23 cm. ISBN: 0521587131 (pbk.) | 9780521587136 (pbk.)