Constructive_functions_of_a_real_variable

Изолированная точка Конструктивная функция действительного переменного Рекуррентное соотношение Ступенчатая семантическая система Шпеккерова последовательность Шпернера лемма