О нумерациях насыщенных и однородных моделей С.С. Гончаров, Б.Н. Дроботун (1980) Sibirskij matematiceskij zurnal
О позитивных теориях свободных инверсных полугрупп Б.В. Розенблат (1979) Sibirskij matematiceskij zurnal
О построении разрешимых сингулярных теорий двух функций следования с дополнительным предикатом. Л.П. Лисовик (1984) Algebra i Logika
О применениях булевых степеней алгебраических систем. А.Г. Пинус (1985) Sibirskij matematiceskij zurnal
О разрешимости классов иерархий регулярных апериодических языков. В.Л. Селиванов (2002) Algebra i Logika
О разрешимости расширенных теорий сложения натуральных и целых чисел. А.А. Иванов (1984) Sibirskij matematiceskij zurnal
О разрешимости теории булевых алгебр с выделенным идеалом А.С. Морозов (1982) Sibirskij matematiceskij zurnal
О разрешимости теорий первого порядка групп и моноидов целочисленных матриц Ю.В. Нагребецкая (2000) Algebra i Logika
О распознавании замещаемости в рекурсивных языках A.В. Гладкий, A.V. Gladkij, A.V. Gladkij, A.V. Gladkii, A.V. Gladkij (1963) Algebra i Logika
О распознавании инвариантных свойств коротких алгорифмов Н.К. Косовский (1979) Zapiski naucnych seminarov Leningradskogo
О теории абелевых групп с предикатами, выделяющими подгруппы, и операциями эндоморфизмов. В.И. Мартьянов, V.I. Mart'janov, V.I. Mart'ǎnov, V.I. Mart'yanov (1975) Algebra i Logika
О теории булевых алгебр с локально конечной группой автоморфизмов. З.А. Дулатова (1987) Sibirskij matematiceskij zurnal
О теориях абелевых групп с предикатами, выделяющими подгруппы. А.М. Слободской, Е.И. Фридман, A.M. Slobodskoj, E.I. Fridman, A.M. Slobodskoj, E.I. Fridman, A.M. Slobodskij, E.I. Friedman (1975) Algebra i Logika
Об аппроксимации классов сведения УИП разрешимыми классами С.А. Норгела (1976) Zapiski naucnych seminarov Leningradskogo
Об одной модификации талтики с упорядочиванием в методе резолюций Н.К. Замов (1988) Issledovanija po prikladnoj matematike