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