Гливенковские классы секвенций
Два неразрешимых класса формул классического исчисления предикатов
Допустимые и производные правила
Матричные иерархии языков первого порядка и их приложения.
Метод эпсилон подстановок для исчисления предикатов с равенством
Минимальный копорядок псевдобулевых и топобулевых алгебр, не имеющих конечного базиса квазитождеств
О метаматематическом подходе к доказательству теорем дискретной математики
О секвенциальных вариантах прикладных исчислений предикатов
Об аппроксимации классов сведения УИП разрешимыми классами
Ограничение сложности термов в выходах и разрешимые фрагменты исчисления предикатов
Представление доказательств раскрашенными графами и гипотеза Хадвигера
Применение изограмм в поиске вывода
Распространение обратного метода на аксиоматические теории с равенством
Семантически универсальные классы моделей.
Три способа выявления несущественных формул в секвенциях
Финитный подход к задаче оптимизации алгоритмов установления выводимости