Разрешимость ∀∃-теории некоторой фактор-решетки рекурсивно-перечислимых множествстатья

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