О конструктивных группах
Дедуктивная общезначимость и классы сведения
Нормальная форма для выводов в исчислении предикатов с равенством и функциональными символами
О множестве нулей конструктивного степенного ряда в вещественной области
Математическая интерпретация теоремы о веерах
Некоторые классы сведения и неразрешимые теории
Об исследовании конструктивных функций методом заполнений
Проблема разрешимости для некоторых конструктивных теорий равенства
О конструктивных аналитических функциях одной вещественной переменной
Некомпактный замкнутый шар в конструктивном компактном метрическом пространстве
Page 1