Об одной недетерминированной программной логике
Об одной полной системе классической арифметики
Об одном классе реализуемых формул логики высказываний
Об одном расширении логики Габбая
Об одном суперинтуиционистском исчислении высказываний
Об отношении между интуиционистскими и классическими модальными логиками.
Об ошибке в статье И.И. Жегалкина "Проблема разрешимости на конечных классах"
Об Эквациональных теориях классов конечных колец.
Об эквациональных теориях классов конечных полугрупп
Об эквациональных теориях многообразий метабелевых и коммутативных колец
Об элементарной теории максимальных нормированных полей. III
Об элементарной эквивалентности свободных алгебр многообразий Кантора.
Об элементарных теориях полурешеток частичных порядков на множествах
Об элементарных теориях решеток идеалов в кольцах многочленов.
Обобщение двух теорем Белоусова для сильно зависимых функций k-значной логики
Обобщенные вычисления и арифметика третьей ступени.
Объединение логик, моделируемых конечными деревьями.
Ограничение сложности термов в выходах и разрешимые фрагменты исчисления предикатов
Описание базиса в полуредуцированной форме для правил вывода интуиционистской логики
Определимость наименьших неподвижных точек.