Model theory - Hodges, Wilfrid (Cambridge University Press, 1993)