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 3 Next

Displaying 41 – 60 of 74

О пpeдcтавимocти paвномерно непрерывных конструктивных функций

Osvald Demuth (1973)

Commentationes Mathematicae Universitatis Carolinae

О поиске вывода в исчислениях общего типа

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

Zapiski naucnych seminarov Leningradskogo

О правилах типа сечения в исчислениях общего вида

С.Ю. Маслов, С.A. Норгела (1974)

Zapiski naucnych seminarov Leningradskogo

О представимости конструктивных функций, обладающих свойствами $(S)$ и $(T_{1})$ в виде суперпозиций

Osvald Demuth (1974)

Commentationes Mathematicae Universitatis Carolinae

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

Osvald Demuth (1970)

Commentationes Mathematicae Universitatis Carolinae

О рекурсивно-нумерованных классах конструктивных расширений и автоустойчивости алгебр

В.П. Добрица (1975)

Sibirskij matematiceskij zurnal

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

Osvald Demuth (1974)

Commentationes Mathematicae Universitatis Carolinae

О соотношении классического и конструктивного вариантов построения математического анализа

М.Г. Гельфонд (1973)

Zapiski naucnych seminarov Leningradskogo

О суперинтуиционистских логиках

А.В. Кузнецов (1975)

Matematiceskie issledovanija

О суперпозициях абсолютно непрерывных конструктивных функций

Osvald Demuth (1971)

Commentationes Mathematicae Universitatis Carolinae

Об aлгopифмичecкoй неапроксимируемости точных верхних гpaниц конструктивных пceвдоceчeний

Antonín Kučera (1977)

Commentationes Mathematicae Universitatis Carolinae

Об аппроксимативном варианте понятия конструктивной аналитической функции

Е.Я. Данцин (1976)

Zapiski naucnych seminarov Leningradskogo

Об измеримости множеств по Лебегу в конструктивной математике

Osvald Demuth (1969)

Commentationes Mathematicae Universitatis Carolinae

Об интегрируемости производных от конструктивных функций

Osvald Demuth (1970)

Commentationes Mathematicae Universitatis Carolinae

Об областях определения эффективных операторов над общерекурсинными функциями и конструктивных функций действительной переменной

Osvald Demuth (1976)

Commentationes Mathematicae Universitatis Carolinae

Об одном конструктивном аналоге функций $n$ -ого класса Бэра

Osvald Demuth (1977)

Commentationes Mathematicae Universitatis Carolinae

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

Osvald Demuth (1971)

Commentationes Mathematicae Universitatis Carolinae

Об оценке сложности некоторых массовых проблем анализа

М.И. Канович, Б.А. Кушнер (1969)

Zapiski naucnych seminarov Leningradskogo

Обобщенно-конструктивный континуум.

В.А. Ганов (1973)

Sibirskij matematiceskij zurnal

Ограниченные теории конструктивных булевых алгебр.

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

Sibirskij matematiceskij zurnal

Currently displaying 41 – 60 of 74

Previous Page 3 Next