The metamathematics of algebraic systems, collected papers: 1936-1967 : collected papers : 1936-1967 - Malcev, A. I. (Anatolii Ivanovich) , 1909-1967; Wells, Benjamin Franklin (Amsterdam : North-Holland Pub., 1971)
Bibliography: p. 474-488
Keywords: Metamathematics; Model theory; Algebra; Logic, Symbolic and mathematical