Model theory - Chang, C. C. (Studies in logic and the foundations mathematics, 1977)