INTRODUCTION TO MODEL THEORY AND TO THE METAMATHEMATICS OF ALGEBRA - Robinson, Abraham (North-Holland, 1965)