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
03F60 Constructive and recursive analysis

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 2

Displaying 21 – 29 of 29

О свойствах неопределённых конструктивннх интегралов Лебега-Стилтьеса

Osvald Demuth, V. Kmínek (1980)

Commentationes Mathematicae Universitatis Carolinae

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

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

Commentationes Mathematicae Universitatis Carolinae

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

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

Algebra i Logika

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

Osvald Demuth (1977)

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

Об одном фрагменте формализованного анализа

Е.Г. Никифорова (1986)

Sibirskij matematiceskij zurnal

Полные конструктивные множества с равенством и некоторые их свойства

В.А. Шурыгин (1968)

Zapiski naucnych seminarov Leningradskogo

Currently displaying 21 – 29 of 29

Previous Page 2