decidable algebra

Мат. разрешимая алгебра