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