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