цилиндрическая алгебра

Мат. cylindric algebra