Разрешимость теории конечных подмножеств безатомных булевых алгебрстатья

Статья опубликована в журнале из перечня ВАК