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

Displaying 381 – 400 of 516

Импликативная сложность аксиоматик

Г.Е. Минц (1968)

Zapiski naucnych seminarov Leningradskogo

Интеграл Лебега и понятие измеримости функций в конструктивном анализе

Oсвальд Демут (1968)

Zapiski naucnych seminarov Leningradskogo

Интегрируемые FR-конструкты над вероятностным пространством

Н.К. Косовский (1969)

Zapiski naucnych seminarov Leningradskogo

Интервал Лебега в конструктивном анализе

О. Демут (1967)

Zapiski naucnych seminarov Leningradskogo

Интуиционистская теория алгебраических систем и гейтинговозначный анализ.

В.А. Любецкий (1991)

Algebra i Logika

Исправления к сборникам "Исследования по конструктивной математике и математической логике". II (1968) и III (1969)

Ю.В. Матиясевич, А.О. Слисенко (1971)

Zapiski naucnych seminarov Leningradskogo

Исчисления с монотонными выводами и их экономическая интерпретация

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

Zapiski naucnych seminarov Leningradskogo

К теории моделей для интуиционисткой логоки

В.И. Степанов (1984)

Matematiceskij sbornik

Классификация пространств операторов конечных типов

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

Zapiski naucnych seminarov Leningradskogo

Конструктивизация понятий $ε$ -энтропии и $ε$ -емкости

В.Я. Крейнович (1974)

Zapiski naucnych seminarov Leningradskogo

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

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

Sibirskij matematiceskij zurnal

Критерий допустимости правил в модальной системе S4 и интуиционистской логике.

В.В. Рыбаков (1984)

Algebra i Logika

Линейные функционалы в конструктивных пространствах $L_{r}$

Osvald Demuth (1969)

Commentationes Mathematicae Universitatis Carolinae

Мажорантная семантика гиперарифметических суждений

Л.Н. Гордеев (1977)

Zapiski naucnych seminarov Leningradskogo

Математическая интерпретация теоремы о веерах

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

Zapiski naucnych seminarov Leningradskogo

Метод эпсилон подстановок для исчисления предикатов с равенством

Г.Е. Минц (1995)

Zapiski naucnych seminarov POMI

Моделирование пульсирующего процесса

Е.В. Гайлит (2003)

Algebra i Logika

Насыщенное исчисление для хорновских секвенций полной линейной темпоральной логики первого порядка

Р. Плюшкявичюс (1995)

Zapiski naucnych seminarov POMI

Некомпактный замкнутый шар в конструктивном компактном метрическом пространстве

В.А. Лифшиц, В.П. Чернов (1973)

Zapiski naucnych seminarov Leningradskogo

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

Osvald Demuth (1978)

Acta Universitatis Carolinae. Mathematica et Physica

Currently displaying 381 – 400 of 516

Previous Page 20 Next