Introducion to model theory and to the mathematics of algebra. - Robinson, A. (Studies in the logic and the foundations., 1974)