Два неразрешимых класса формул классического исчисления предикатов
Две системы доказательства тавтологичности, основанные на методе расщеплений
Дизъюнктивная интерпретация исчисления LJ
Диофантовы теории свободных инверсных полугрупп.
Доказательства в арифметике, использующие случайные числа
Допустимые и производные правила
Допустимые правила для логик, включающих S4.3.
Допустимые правила предтабличных модальных логик
Достаточное условие, при котором замкнутые классы -значной логики имеют только тривиальные конгруэнции
Замечания к работе Р. Бергера о проблеме домино
Иерархии программных логик
Из чего вытекает закон исключенного третьего?
Интерполяционное свойство и суперинтуиционистские предикатные логики
Интерполяционные теоремы в модальных логиках. Достаточные условия
Интерполяционные теоремы в модальных логиках и амальгамируемые многообразия топобулевых алгебр.
Интерполяция в бесконечнослойных расширениях логики доказуемости
Интерполяция в суперинтуиционистских логиках предикатов с равенством.
Информационные фреймы Барвайса и модальные логики.
Исправления к сборникам "Исследования по конструктивной математике и математической логике". II (1968) и III (1969)
Исчисление с квантором элементарной эквивалентности