A shorter model theory / - Hodges, Wilfrid. (Cambridge University Press,, 1997)