Model theory - Chang, Chin-Chen 1927- (North-Holland, 1973)