Introduction to model theory and to the metamathematics of algebra - Robinson, Abraham 1918-1974 (North-Holland, 1974)