Model Theory - Chang, C. C. (North-Holland, 1973)