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