Model theory. - Chang, C.C.; Keisler, H.J. (North-Holland Publishing Company, 1976)