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