Introduction to maodel Theory and to the Metamathematics of Algebra - Robinson, Abraham (North-Holland, 1974)