Introduction to model theory and to the metamathematics of algebra
Robinson, Abraham.

1963