О конструктивном интеграле Перрона Osvald Demuth (1980) Acta Universitatis Carolinae. Mathematica et Physica
О конструктивных интегралах Данжуа Osvald Demuth (1979) Commentationes Mathematicae Universitatis Carolinae
О конструктивных периодических абелевых группах. В.П. Добрица, А.Т. Нуртазин, Н.Г. Хисамиев (1978) Sibirskij matematiceskij zurnal
О некоторых классах арифметических действительных чисел Osvald Demuth (1982) Commentationes Mathematicae Universitatis Carolinae
О представимости линейных функционалов в пространстве шифров равномерно непрерывных на сегменте 0 ▵ 1 конструктивных функций Osvald Demuth, Jan Polívka (1979) Commentationes Mathematicae Universitatis Carolinae
О псевдодифференцируемости равномерно непрерывных конструктивных функций по функциям того же типа Osvald Demuth (1981) Commentationes Mathematicae Universitatis Carolinae
О свойствах неопределённых конструктивннх интегралов Лебега-Стилтьеса Osvald Demuth, V. Kmínek (1980) Commentationes Mathematicae Universitatis Carolinae
Об apифmeтичeckoй cлoжнocти диффеpeндиpoвaния в конструктивной математике Osvald Demuth (1983) Commentationes Mathematicae Universitatis Carolinae
Об использовании интеграла Римана-Стилтьеса в теории конструктивного интеграла Лебега и его обобщений Osvald Demuth (1979) Commentationes Mathematicae Universitatis Carolinae
Об одном обобщении конструктивного аналога теоремы К. М. Гарга Osvald Demuth (1981) Commentationes Mathematicae Universitatis Carolinae
Секвенциальный вариант исчисления конструктивной логики для нормальных формул без структурных правил вывода Р.А. Плюшкевичус (1967) Zapiski naucnych seminarov Leningradskogo
Сильная конструктивизируемость счетных насыщенных булевых алгебр. А.С. Морозов (1982) Algebra i Logika
Эквивалентность двух определений непрерывности В.П. Оревков (1971) Zapiski naucnych seminarov Leningradskogo