Алгоритмическая природа инвариантных свойств грамматик непосредственно составляющих
Алгоритмические проблемы и иерархии языков первого порядка
Базисы допустимых правил вывода модальных логик S4.2 и S4.2Grz
Базисы допустимых правил вывода табличных модальных логик глубины 2.
Базисы допустимых правил модальной системы Grz и интуиционистской логики
Базисы квазитождеств конечных модальных алгебр.
Базы допустимых правил логик S4 и Int
Вложения импликатных решеток и суперинтуиционистские логики
Гейтинговское исчисление предикатов с эпсилон-символом
Гливенковские классы секвенций
Границы разрешимости некоторых классов нильпотентных и разрешимых групп
Группы автострофий разделимых сильно зависимых операций
Группы рекурсивных автоморфизмов конструктвных булевых алгебр
Два неразрешимых класса формул классического исчисления предикатов
Две системы доказательства тавтологичности, основанные на методе расщеплений
Дизъюнктивная интерпретация исчисления LJ
Диофантовы теории свободных инверсных полугрупп.
Доказательства в арифметике, использующие случайные числа
Допустимые и производные правила
Допустимые правила для логик, включающих S4.3.