"Элементарные пары примитивно нормальных теорий" - читать интересную книгу автора (Палютин Е. А.)