Introduction to model theory and to the metamathematics of algebra - Robinson, Abraham (Amsterdam North-Holland Publishing Company)
Keywords: Algebra, Abstract; Metamathematics; Model theory