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

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

Displaying 761 – 780 of 1185

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

Osvald Demuth (1970)

Commentationes Mathematicae Universitatis Carolinae

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

А.Г. Пинус (1990)

Algebra i Logika

Об интерполяции в нормальных модальных логиках

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

Matematiceskie issledovanija

Об интерпретации интуиционистской логики высказываний в интуиционистской прототетике.

А.Д. Яшин (2002)

Algebra i Logika

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

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

Об итеративных алгебрах без проекций

К.Л. Сафин, Е.В. Суханов (2003)

Algebra i Logika

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

Osvald Demuth (1976)

Commentationes Mathematicae Universitatis Carolinae

Об обобщенных полурешетках и $m$ -степенях индексных множеств.

Т.М. Кузьмина (1991)

Algebra i Logika

Об обобщенных полурешетках и m-степенях индексных множеств

Т.М. Кузьмина (1989)

Algebra i Logika

Об одной гипотезе Шелаха

К.Ж. Кудайбергенов (1987)

Algebra i Logika

Об одной иерархии множеств. II

Ю.Л. Ершов (1968)

Algebra i Logika

Об одной иерархии независимых $ω$ -кортежей копростых изолей.

В.Л. Михеев (1978)

Algebra i Logika

Об одной иерархии степеней неразрешимости

М.М. Арсланов (1982)

Verojatnostnye metody i kibernetika

Об одной категории частично рекурсивных функций

А.Н. Дёгтев (1980)

Sibirskij matematiceskij zurnal

Об одной классификации модальных логик.

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

Algebra i Logika

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

Н.К. Замов (1988)

Issledovanija po prikladnoj matematike

Об одной недетерминированной программной логике

И.Х. Мусикаев (1986)

Sibirskij matematiceskij zurnal

Об одной оценке сложности теорий графов

С.В. Судоплатов (1996)

Sibirskij matematiceskij zurnal

Currently displaying 761 – 780 of 1185

Previous Page 39 Next