"The metamathematics of algebraic systems: Collected papers 1936-1967" - читать интересную книгу автора (Anatolii Ivanovic Mal'cev, III (trans) Benjamin Franklin Wells)