О допустимых правилах полимодальной логики S 5 n C П.А. Алексеев, М.И. Голованов, P. A. Alekseev, M. I. Golovanov, P. A. Alekseev, M. I. Golovanov, P. A. Alekseev, M. I. Golovanov (1997) Algebra i Logika
О единственности линейных продолжений частичных порядков А.Г. Пинус (1983) Sibirskij matematiceskij zurnal
О исевдодиференцируемости конструктивных функций на конструктивных действительных числах Osvald Demuth (1980) Commentationes Mathematicae Universitatis Carolinae
О кoнcтpуктивнoм aнaлoгe однoй тeopemы Лузина Rudolf Kryl (1974) Commentationes Mathematicae Universitatis Carolinae
О кoнcтpуктивнпм aналоге тeopeмы Дaнжуa-Янгa о пpoизводных чиcлax Osvald Demuth (1976) Commentationes Mathematicae Universitatis Carolinae
О кoнcтpуктивныx пceвдочиcлax Osvald Demuth (1975) Commentationes Mathematicae Universitatis Carolinae
О канонических рекурсивных функциях и операциях Н.А. Шанин (1979) Zapiski naucnych seminarov Leningradskogo
О категоричности конечно-порожденных алгебраических систем и HF-логике В.Я. Беляев, Е.Е. Лютикова, В.Н. Ремесленников, I. Ja. Beljaev (1995) Algebra i Logika
О категоричных квазимногообразиях произвольной сигнатуры. Е.А. Палютин (1973) Sibirskij matematiceskij zurnal
О категоричных позитивных хорновских теориях. Е.А. Палютин, E.A. Paljutin, E.A. Palǔtin, E.A. Paljutin (1979) Algebra i Logika
О квазимногообразиях алгебр с определимыми главными конгруэнциями А.М. Нуракунов (1990) Algebra i Logika