«Вычислимые структуры, иерархия Ершова и относительная вычислимость» Этап 2014 г.: Определимость естественных классов тьюринговых степеней и спектры алгебраических систем
Академия наук Республики Татарстан
«Вычислимые структуры, иерархия Ершова и относительная вычислимость» Этап 2014 г.: Определимость естественных классов тьюринговых степеней и спектры алгебраических систем