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