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

Displaying 141 – 160 of 166

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

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

Zapiski naucnych seminarov Leningradskogo

Последний вопрос о рекурсивно-перечислимых $m$ -степенях

А. Нис, A. Nis, A. Nis, A. Nis (1994)

Algebra i Logika

Пример конструктивного отделимого пространства с неотделимым пополнением

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

Zapiski naucnych seminarov Leningradskogo

Примитивно рекурсивная оценка сильной нормализации для исчисления предикатов

Г.Е. Минц (1979)

Zapiski naucnych seminarov Leningradskogo

Пространства $L_{r}$ и $S$ в конструктивной математике

Osvald Demuth (1969)

Commentationes Mathematicae Universitatis Carolinae

Рекурсивные топологические пространства.

Е.И. Латкин (1995)

Sibirskij matematiceskij zurnal

Рост длины секвенциального вывода при перестройке в натуральный

С.В. Соловьев (1979)

Zapiski naucnych seminarov Leningradskogo

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

Р.А. Плюшкевичус (1967)

Zapiski naucnych seminarov Leningradskogo

Сильная конструктивизируемость счетных насыщенных булевых алгебр.

А.С. Морозов (1982)

Algebra i Logika

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

С.В. Соловьев (1979)

Zapiski naucnych seminarov Leningradskogo

Схемы доказательств в аксиоматических теориях гильбертовского типа

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

Zapiski naucnych seminarov Leningradskogo

Тeoремы о среднем значении для конструктивного интеграла

Osvald Demuth (1970)

Commentationes Mathematicae Universitatis Carolinae

Теорема когеррентности для канонических морфизмов в декартово замкнутых категориях

A.A. Бабаев, С.В. Соловьев (1979)

Zapiski naucnych seminarov Leningradskogo

Теорема Крейга в суперинтуиционистских логиках и амальгамируемые многообразия псевдобулевых алгебр

Л.Л. Максимова (1977)

Algebra i Logika

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

Г.Е. Минц (1973)

Zapiski naucnych seminarov Leningradskogo

Топологические варианты теоремы о непрерывности отображений и родственных теорем

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

Zapiski naucnych seminarov Leningradskogo

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

Г.Е. Минц (1971)

Zapiski naucnych seminarov Leningradskogo

Трансфинитные развертки арифметических формул

Г.Е. Минц (1975)

Zapiski naucnych seminarov Leningradskogo

Три способа выявления несущественных формул в секвенциях

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

Zapiski naucnych seminarov Leningradskogo

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

Л.М. Коган-Бернштейн (1981)

Zapiski naucnych seminarov Leningradskogo

Currently displaying 141 – 160 of 166

Previous Page 8 Next