Teorija modelej - Keisler, H.J; Chang, C.C (Mir, 1977)