1. Дудаков С.М. Проблемы алгоритмической разрешимости и аксиоматизации алгебры конечных подмножеств для бинарных операций // Известия Российской академии наук. Серия математическая. 2025. Т.89. №2. С.3-24.
Подробно