О конструктивных аналитических функциях одной вещественной переменной
О конструктивных интегралах Данжуа
О конструктивных операторах конечных типов
О конструктивных периодических абелевых группах.
О конструктивных функционалах в пространствах почти-периодических функций
О конструктивных функциях распределения
О максимальных регуляторах непрерывности конструктивных функций
О метаматематическом подходе к доказательству теорем дискретной математики
О множестве нулей конструктивного степенного ряда в вещественной области
О некоторых классах арифметических действительных чисел
О некоторых свойствах отображений сноп-пространств
О непрерывности конструктивных функционалов
О неудлиняющих применениях правил для равенства
О пpeдcтавимocти paвномерно непрерывных конструктивных функций
О поиске вывода в исчислениях общего типа
О правилах типа сечения в исчислениях общего вида
О представимости конструктивных функций, обладающих свойствами и в виде суперпозиций
О представимости конструктивных функций слабо ограниченной вариации
О представимости линейных функционалов в пространстве шифров равномерно непрерывных на сегменте конструктивных функций
О псевдодифференцируемости равномерно непрерывных конструктивных функций на конструктивных действительных числах