О нумерациях канонически вычислимых семейств конечных множеств В.Л. Селиванов (1977) Sibirskij matematiceskij zurnal
О нумерациях насыщенных и однородных моделей С.С. Гончаров, Б.Н. Дроботун (1980) Sibirskij matematiceskij zurnal
О перечислениях разностей рекурсивно перечислимых множеств Ш.Т. Ишмухаметов (1987) Verojatnostnye metody i kibernetika
О поиске вывода в исчислениях общего типа С.Ю. Маслов (1973) Zapiski naucnych seminarov Leningradskogo
О полинильпотентных алгебрах Ли, заданных одним определяющим соотношением В.В. Талапов (1983) Sibirskij matematiceskij zurnal
О полурешетках вычислимых индексаций классов конструктивных моделей В.П. Добрица (1987) Algebra i Logika
О полурешетках Роджерса семейств арифметических множеств С.А. Бадаев, С.С. Гончаров (2001) Algebra i Logika
О порождении 2-местных примитивно-рекурсивных функций С.А. Березин (1972) Matematiceskie issledovanija
О построении разрешимых сингулярных теорий двух функций следования с дополнительным предикатом. Л.П. Лисовик (1984) Algebra i Logika
О правилах типа сечения в исчислениях общего вида С.Ю. Маслов, С.A. Норгела (1974) Zapiski naucnych seminarov Leningradskogo