EuDML | Browse

Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

Subjects
03-XX Mathematical logic and foundations
03Fxx Proof theory and constructive mathematics
03F99 None of the above, but in this section

Items

All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Previous Page 4 Next

Displaying 61 – 80 of 125

Интегрируемые FR-конструкты над вероятностным пространством

Н.К. Косовский (1969)

Zapiski naucnych seminarov Leningradskogo

Исчисления с монотонными выводами и их экономическая интерпретация

С.Ю. Маслов (1979)

Zapiski naucnych seminarov Leningradskogo

Классификация пространств операторов конечных типов

В.П. Чернов (1973)

Zapiski naucnych seminarov Leningradskogo

Конструктивизация понятий $ε$ -энтропии и $ε$ -емкости

В.Я. Крейнович (1974)

Zapiski naucnych seminarov Leningradskogo

Линейные функционалы в конструктивных пространствах $L_{r}$

Osvald Demuth (1969)

Commentationes Mathematicae Universitatis Carolinae

Мажорантная семантика гиперарифметических суждений

Л.Н. Гордеев (1977)

Zapiski naucnych seminarov Leningradskogo

Некомпактный замкнутый шар в конструктивном компактном метрическом пространстве

В.А. Лифшиц, В.П. Чернов (1973)

Zapiski naucnych seminarov Leningradskogo

Некоторые свойства F-чисел

Б.А. Кушнер, Г.С. Цейтин (1968)

Zapiski naucnych seminarov Leningradskogo

Некоторые свойства гомеоморфизмов конструктивных метрических пространств

В.П. Оревков (1969)

Zapiski naucnych seminarov Leningradskogo

Некоторые свойства конструктивизации булевых алгебр

С.С. Гончаров (1975)

Sibirskij matematiceskij zurnal

Необходимое и достаточное условие абсолютной непрерывности конструктивных функций

Osvald Demuth (1970)

Commentationes Mathematicae Universitatis Carolinae

Необходимое и достаточное условие представимости конструктивных функций в виде суммы сингулярной и абсолютно непрерывной функции

Osvald Demuth (1971)

Commentationes Mathematicae Universitatis Carolinae

Необходимое и достаточное условие представимости конструктивных функций в виде суперпозиции абсолютно непрерывных функций

Osvald Demuth (1972)

Commentationes Mathematicae Universitatis Carolinae

Необходимые и достаточные условия для шпеккеровых свойств вероятностного пространства

Н.К. Косовский (1969)

Zapiski naucnych seminarov Leningradskogo

Непрерывность операторов в сепарабельных конструктивных метрических пространствах

С.В. Пахомов (1976)

Zapiski naucnych seminarov Leningradskogo

О диффepeнциpуeмocти кoнcтpуктивныx функций cлaбo oгpaничeнной вapиaции нa пceвдочиcлax

Osvald Demuth (1975)

Commentationes Mathematicae Universitatis Carolinae

О Е-теоремах

Г.Е. Минц (1974)

Zapiski naucnych seminarov Leningradskogo

О кoнcтpуктивнoм aнaлoгe однoй тeopemы Лузина

Rudolf Kryl (1974)

Commentationes Mathematicae Universitatis Carolinae

О кoнcтpуктивнпм aналоге тeopeмы Дaнжуa-Янгa о пpoизводных чиcлax

Osvald Demuth (1976)

Commentationes Mathematicae Universitatis Carolinae

О кoнcтpуктивныx пceвдочиcлax

Osvald Demuth (1975)

Commentationes Mathematicae Universitatis Carolinae

Currently displaying 61 – 80 of 125

Previous Page 4 Next