Introduction to model theory and to the metamathematics of algebra - Robinson, Abraham (Studies in logic and the foundations of mathematics, 1965)