[1] НАТАНСОН И. П.:
Теория функций вещественной переменной. Москва 1967.
Zbl 1103.35360
[3] PUTNAM Н.:
Тrial and error predicates and the solutiоn to a problem of Mostowski. J. Symb. Logic 30 (1965), 49 - 57.
MR 0195725
[4] ДЕМУТ О.:
Пространства $L_r$ и $S$ в конструктивной математике. Соmment. Math. Univ. Carolinае 10 (1969), 261-284.
MR 0245429
[5] ДЕМУТ О.:
Об интегрируемости производных от конструктивных функций. Соmment. Math. Univ. Carolinае 11 (1970), 667-691.
Zbl 1170.92319
[6] ДЕМУТ О.:
О конструктивных псевдочислах. Соmment. Math. Univ. Carolinае 16 (1975), 315-331.
Zbl 1170.01354
[7] ДЕМУТ О.:
О днфференцируемости конструктивных функций слабо ограниченной вариации на псевдочислах. Соmment. Math. Univ. Carolinае 16 (1975) ,583-599.
Zbl 1170.01354
[8] ДЕМУТ О.:
Об областях определения эффективных операторов над общерекурсивными функциями и конструктивных функций действительной переменной. Соmment. Math. Univ. Carolinае 17 (1976), 633-646.
Zbl 1170.01332