Model Theory - Chang, Chen Chung (Studies in logic and the Foundations of Mathematics ;, 1977)