Malcev, A.I. Metamathematics of algebraic systems / A.I.Malcev - London North -Holland 1971 - xviii,494 p. - Studies in logic and the foundations of mathematics;66. . Subjects--Index Terms: Metamathematics Universal Decimal Class. No.: 510.2 / MAL