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

Displaying 401 – 420 of 516

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

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

Sibirskij matematiceskij zurnal

Некоторые свойства 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

Неразрешимые свойства расширений логики доказуемости. II

A.B. Чагров (1990)

Algebra i Logika

Нижние оценки увеличения сложности выводов после устранения сечений

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

Zapiski naucnych seminarov Leningradskogo

Новая последовательность редукций для арифметики

Г.Е. Минц (1979)

Zapiski naucnych seminarov Leningradskogo

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

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

Zapiski naucnych seminarov Leningradskogo

О Борелевых типах некоторых классов арифметических действительных чисел

Osvald Demuth (1982)

Commentationes Mathematicae Universitatis Carolinae

О выразимости в ограниченной арифметике второго порядка

А.А. Набебин (1977)

Sibirskij matematiceskij zurnal

О двух расширениях логики доказуемости GL

В.Ю. Шавруков (1990)

Matematiceskij sbornik

О дизъюнктивном ранге формул конструктивной арифметики

Г.С. Цейтин (1968)

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

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

Osvald Demuth (1969)

Commentationes Mathematicae Universitatis Carolinae

О Е-теоремах

Г.Е. Минц (1974)

Zapiski naucnych seminarov Leningradskogo

Currently displaying 401 – 420 of 516

Previous Page 21 Next