[3] ДЕМУТ О., КРЫЛ Р., КУЧЕРА А.:
Об исподьеовамии теории функций частнчнорекурсивных относительно числовых множеств в конструктивной математике. Acta Univ. Carolinae, Math. at Physica 19 (1978), 15-60.
MR 0509638 |
Zbl 1130.91322
[4] ДЕМУТ О.:
Некоторые вопроси теории конструктмвннх функций действительной переменной. Acta Univ. Carolinae, Math. at Physica 19(1978), 61-96.
MR 0509639 |
Zbl 1130.91322
[5] ДЕМУТ О.:
О конструктмвннх псевдочислах. Comment. Math. Univ. Carolinae 16(1975), 315-331.
MR 0381955 |
Zbl 1170.01354
[6] ДЕМУТ О.:
О дифференцируемостн конструктивных функций слабо ограниченной вариации на псевдочислах. Comment. Math. Univ. Carolinae 16 (1975), 583-599.
MR 0476442 |
Zbl 1170.01354
[7] ДЕМУТ О.:
О конструктивном аналоге теоремн К. М. Гарга о производных числах. Comment. Math. Univ. Carolinae 21(1980), 457-472.
MR 0590126 |
Zbl 1170.01312
[8] ДЕМУТ О.:
О псевдодифференцируемостн равномерно непрерывных конструктивинх функций по функциям того же типа. Comment. Math. Univ. Carolinae 22 (1981), 497-512.
MR 0633578 |
Zbl 1170.01413
[9] ДЕМУТ О.:
О6 одной обобщении конструктивного аналога теоремы К. М. Гарга. Comment. Math. Univ. Carolinae 22 (1981), 607-620.
MR 0633588 |
Zbl 0593.93001
[10] ДЕМУТ О.:
О некоторых классах арифметических действительных чисел. Comment. Math. Univ. Carolinae 23 (1982), 453-465.
MR 0677854 |
Zbl 1171.03330
[11] ДЕМУТ О.:
О борелевых типах некоторых классов арифметических действхтельннх чисел. Comment. Math. Univ. Carolinae 23 (1982), 593-606.
MR 0653348 |
Zbl 1171.03330
[12] ДЕМУТ О.:
Об арифметической сложности дифференцирования в конструктивной математике. Comment. Math. Univ. Carolinae 24 (1983), 301-316.
Zbl 1171.53341