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

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

Displaying 461 – 480 of 516

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

Osvald Demuth (1971)

Commentationes Mathematicae Universitatis Carolinae

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

Antonín Kučera, Boris A. Kušner (1978)

Commentationes Mathematicae Universitatis Carolinae

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

С.К. Соболев (1977)

Matematiceskij sbornik

О частотном вычислении функций

Б.А. Трахтенброт, B.A. Trachtenbrot, B.A. Trahtenbrot, B.A. Trakhtenbrot (1963)

Algebra i Logika

О числе неавтоэквивалентных конструктивизаций

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

Algebra i Logika

Об apифmeтичeckoй cлoжнocти диффеpeндиpoвaния в конструктивной математике

Osvald Demuth (1983)

Commentationes Mathematicae Universitatis Carolinae

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

Antonín Kučera (1977)

Commentationes Mathematicae Universitatis Carolinae

Об oднoм oбoбщeнии кoнcтpуктивнoгo интеграла Лeбeгa

Osvald Demuth (1977)

Commentationes Mathematicae Universitatis Carolinae

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

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

Zapiski naucnych seminarov Leningradskogo

Об иерархии конструктивных функционалов Брауэра

Н.А. Шанин (1974)

Zapiski naucnych seminarov Leningradskogo

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

Osvald Demuth (1969)

Commentationes Mathematicae Universitatis Carolinae

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

Osvald Demuth (1970)

Commentationes Mathematicae Universitatis Carolinae

Об использовании интеграла Римана-Стилтьеса в теории конструктивного интеграла Лебега и его обобщений

Osvald Demuth (1979)

Commentationes Mathematicae Universitatis Carolinae

Об использовании теории функций частично-рекурсивных относительно числовых множеств в конструктивной математике

Osvald Demuth, Rudolf Kryl, Antonín Kučera (1978)

Acta Universitatis Carolinae. Mathematica et Physica

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

В.А. Лифшиц (1971)

Zapiski naucnych seminarov Leningradskogo

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

Osvald Demuth (1976)

Commentationes Mathematicae Universitatis Carolinae

Об одной полной системе классической арифметики

Н.В. Белякин, N.V. Beljakin, N.V. Belâkin, N.V. Beljakin (1967)

Algebra i Logika

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

Osvald Demuth (1977)

Commentationes Mathematicae Universitatis Carolinae

Об одном обобщении конструктивного аналога теоремы К. М. Гарга

Osvald Demuth (1981)

Commentationes Mathematicae Universitatis Carolinae

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

Н.В. Белякин (1983)

Algebra i Logika

Currently displaying 461 – 480 of 516

Previous Page 24 Next