О сводимости вычислимых нумераций. А.Б. Хуторецкий, A.B. Chutoreckij, A.B. Hutoreckij, A.B. Khutoretskij (1969) Algebra i Logika
О свойствах предельной перечислимости дополнений рекурсивноперечислимых множеств Н.Р. Бухараев (1979) Verojatnostnye metody i kibernetika
О семействах общерекурсивных функций с конечным числом предельных точек. Ю.Д. Корольков (1978) Algebra i Logika
О семехствах рекурсивно-перечислимых множеств Ш.Т. Ишмухаметов (1982) Verojatnostnye metody i kibernetika
О сильной конструктивизируемости булевых алгебр элементарной характеристики (1,1,0) В.Н. Власов, С.С. Гончаров (1993) Algebra i Logika
О системах алгоритмических алгерб, сохраняющих идеалы в решетке рекурсивно перечислимых множеств Ю.В. Голунков, А.А. Савельев (1987) Verojatnostnye metody i kibernetika
О сложности алгоритмов сведения в конструкциях Новикова-Буна. Б.А. Трахтенброт (1969) Algebra i Logika
О сложности вывода в грамматиках непосредственно составляющих А.В. Гладкий, A.V. Gladkij, A.V. Gladkij, A.V. Gladkii (1964) Algebra i Logika
О сложности линейных выводов в методе резолюций Р.К. Самитов (1983) Verojatnostnye metody i kibernetika
О соотношении сноп-пространств и нумерованных множеств со свойством C 2 * Ю.Л. Ершов (1973) Zapiski naucnych seminarov Leningradskogo
О сравнении индексов, возникающих при трансфинитной итерации функций. В.И. Амстиславский (1973) Sibirskij matematiceskij zurnal