On the metamathematics of algebra - Robinson, Abraham 1918-1974 (North Holland, 1951)