Model theory - Chang, Chen Chung; Keisler, H. Jerome (Studies in logic and the foundations of mathematics, 1990)