Model theory / C.C. Chang, H. Jerome Keisler. - Chang, Chen Chung, 1927- (Dover Publications, 2012)