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