Model theory - Chang, Chen Chung (Studies in logic and the foundations of mathematics, 1994)