On the metamathematics of algebra - Robinson, Abraham (North-Holland Publishing Company, 1951)