Über ein konstruktives Analogon eines Satzes von K. M. Garg über Ableitungszahlen Osvald Demuth (1980) Commentationes Mathematicae Universitatis Carolinae
Георг Кантор как автор конструкций, играющих фундаментальные роли в конструктивной математике Н.А. Шанин (1995) Zapiski naucnych seminarov POMI
Достаточное условие сходимости монотонных последовательностей Ю.В. Матиясевич (1971) Zapiski naucnych seminarov Leningradskogo
Ещё один конструктивный вариант теоремы Коши И.Д. Заславский, Г.С. Цейтин (1971) Zapiski naucnych seminarov Leningradskogo
Заметка к работе: О теореме Фувини для интеграла Римана в конструктивной математике Osvald Demuth (1969) Commentationes Mathematicae Universitatis Carolinae
Интеграл Лебега и понятие измеримости функций в конструктивном анализе Oсвальд Демут (1968) Zapiski naucnych seminarov Leningradskogo
Некоторые вопросы теории конструктивных функций действительной переменной Osvald Demuth (1978) Acta Universitatis Carolinae. Mathematica et Physica
Новое доказательство теоремы единственности для конструктивных дифференцируемых функций комплексной переменной В.П. Оревков (1974) Zapiski naucnych seminarov Leningradskogo
О дифференцируемости конструктивных функций Osvald Demuth (1969) Commentationes Mathematicae Universitatis Carolinae
О исевдодиференцируемости конструктивных функций на конструктивных действительных числах Osvald Demuth (1980) Commentationes Mathematicae Universitatis Carolinae
О конcтpуктовных аналогах обобщено абсолютно непрерывных функций и функций обобщеной ограниченой вариации Osvald Demuth (1978) Commentationes Mathematicae Universitatis Carolinae
О конструктивном интеграле Перрона Osvald Demuth (1980) Acta Universitatis Carolinae. Mathematica et Physica
О конструктивных аналитических функциях одной вещественной переменной В.А. Лифшиц (1968) Zapiski naucnych seminarov Leningradskogo
О конструктивных интегралах Данжуа Osvald Demuth (1979) Commentationes Mathematicae Universitatis Carolinae
О максимальных регуляторах непрерывности конструктивных функций А.О. Слисенко (1967) Zapiski naucnych seminarov Leningradskogo
О множестве нулей конструктивного степенного ряда в вещественной области В.А. Лифшиц (1969) Zapiski naucnych seminarov Leningradskogo
О некоторых классах арифметических действительных чисел Osvald Demuth (1982) Commentationes Mathematicae Universitatis Carolinae
О представимости линейных функционалов в пространстве шифров равномерно непрерывных на сегменте 0 ▵ 1 конструктивных функций Osvald Demuth, Jan Polívka (1979) Commentationes Mathematicae Universitatis Carolinae
О псевдодифференцируемости равномерно непрерывных конструктивных функций на конструктивных действительных числах Osvald Demuth (1978) Commentationes Mathematicae Universitatis Carolinae