TY - BOOK AU - Malcev, A.I. TI - Metamathematics of algebraic systems T2 - Studies in logic and the foundations of mathematics;66 PY - 1971/// CY - London PB - North -Holland KW - Metamathematics ER -