The metamathematics of algebraic systems : collected papers: 1936-1967 - Malʹt͡sev, A. I. (Anatoliĭ Ivanovich), 1909-1967 (Studies in logic and the foundations of mathematics, 1971)