On the metamathematics of algebra - Robinson, Abraham, 1918-1974. (Studies in logic and the foundations of mathematics, 1951)