Introduction to model theory and to the metamathematics of algebra - Robinson, Abraham, 1918-1974 (Studies in logic and the foundations of mathematics (North Holland) / J.Barwise, H.J.Keisler, P.Suppes, A.S.Tro/ra, 1963)