Model theory - Chang, Chen Chung (Studies in logic and the foundations of mathematics, v. 73, 1973)