О строении изотонного группоида на классе натуральных чисел в AST. С.В. Дронов, С.Д. Козлов (1994) Sibirskij matematiceskij zurnal
О ступенях разрешимости структур и степенях идемпотентности предмногообразий структур В.Б. Лендер (1974) Matematiceskij sbornik
О суперинтуиционистских логиках как фрагментах расширений логики доказуемости А.В. Кузнецов, А.Ю. Муравицкий (1987) Matematiceskie issledovanija
О суперпозициях абсолютно непрерывных конструктивных функций Osvald Demuth (1971) Commentationes Mathematicae Universitatis Carolinae
О существовании неотделимой пары в рекурсивной теории допустимых множеств В.А. Руднев (1988) Algebra i Logika
О существовании рекурсивно-перечислимых минимальных табличных степеней. С.С. Марченков (1975) Algebra i Logika
О сходимости позитивных схем S4 и Int С.И. Мардаев, S. I. Mardaev, S. I. Mardaev, S. I. Mardaev (1994) Algebra i Logika
О теории абелевых групп с предикатами, выделяющими подгруппы, и операциями эндоморфизмов. В.И. Мартьянов, 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