О псевдодифференцируемости равномерно непрерывных конструктивных функций по функциям того же типа Osvald Demuth (1981) Commentationes Mathematicae Universitatis Carolinae
О рекурсивно-нумерованных классах конструктивных расширений и автоустойчивости алгебр В.П. Добрица (1975) Sibirskij matematiceskij zurnal
О свойствах неопределённых конструктивннх интегралов Лебега-Стилтьеса Osvald Demuth, V. Kmínek (1980) Commentationes Mathematicae Universitatis Carolinae
О связи представимости конструктивной функции в виде суперпозиции двух абсолютно непрерывных функций и дифференцируемости этой функции Osvald Demuth (1974) Commentationes Mathematicae Universitatis Carolinae
О сложности вывода в исчислении высказываний Г.С. Цейтин (1968) Zapiski naucnych seminarov Leningradskogo
О сложности линейных выводов в методе резолюций Р.К. Самитов (1983) Verojatnostnye metody i kibernetika
О соотношении классического и конструктивного вариантов построения математического анализа М.Г. Гельфонд (1973) Zapiski naucnych seminarov Leningradskogo
О специализации использования аксиом при поиске вывода в аксиоматических теориях с равенством А.Ю. Плюшкевичене (1971) Zapiski naucnych seminarov Leningradskogo
О суперпозициях абсолютно непрерывных конструктивных функций Osvald Demuth (1971) Commentationes Mathematicae Universitatis Carolinae
О типе рекурсивного изоморфизма некоторых понятий конструктивного анализа Antonín Kučera, Boris A. Kušner (1978) Commentationes Mathematicae Universitatis Carolinae
О частотном вычислении функций Б.А. Трахтенброт, B.A. Trachtenbrot, B.A. Trahtenbrot, B.A. Trakhtenbrot (1963) Algebra i Logika
Об apифmeтичeckoй cлoжнocти диффеpeндиpoвaния в конструктивной математике Osvald Demuth (1983) Commentationes Mathematicae Universitatis Carolinae
Об aлгopифмичecкoй неапроксимируемости точных верхних гpaниц конструктивных пceвдоceчeний Antonín Kučera (1977) Commentationes Mathematicae Universitatis Carolinae
Об oднoм oбoбщeнии кoнcтpуктивнoгo интеграла Лeбeгa Osvald Demuth (1977) Commentationes Mathematicae Universitatis Carolinae
Об аппроксимативном варианте понятия конструктивной аналитической функции Е.Я. Данцин (1976) Zapiski naucnych seminarov Leningradskogo
Об иерархии конструктивных функционалов Брауэра Н.А. Шанин (1974) Zapiski naucnych seminarov Leningradskogo