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

Displaying 641 – 660 of 1185

О рекурсивно-нумерованных классах конструктивных расширений и автоустойчивости алгебр

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

Sibirskij matematiceskij zurnal

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

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

Algebra i Logika

О рекурсивных решетах

В. Амстиславский (1966)

Sibirskij matematiceskij zurnal

О рекурсивных функциях большого размаха

Х.Х. Насибуллов (1969)

Sibirskij matematiceskij zurnal

О решении систем, состоящих одновременно из уравнений в словах и неравенств в длинах слов

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

Zapiski naucnych seminarov Leningradskogo

О решетке нормальных модальных логик.

Л.Л. Максимова, В.В. Рыбаков (1974)

Algebra i Logika

О сводимости вычислимых нумераций.

А.Б. Хуторецкий, A.B. Chutoreckij, A.B. Hutoreckij, A.B. Khutoretskij (1969)

Algebra i Logika

О сводимостях нумераций

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

Matematiceskij sbornik

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

Osvald Demuth, V. Kmínek (1980)

Commentationes Mathematicae Universitatis Carolinae

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

Н.Р. Бухараев (1979)

Verojatnostnye metody i kibernetika

О свойствах суперинтуиционистских пропозициональных исчислений.

В.И. Хомич (1990)

Sibirskij matematiceskij zurnal

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

Osvald Demuth (1974)

Commentationes Mathematicae Universitatis Carolinae

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

М.Г. Рогава (1967)

Zapiski naucnych seminarov Leningradskogo

О семантике модальной логики

Г.Е. Минц (1969)

Zapiski naucnych seminarov Leningradskogo

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

Ю.Д. Корольков (1978)

Algebra i Logika

О семехствах рекурсивно-перечислимых множеств

Ш.Т. Ишмухаметов (1982)

Verojatnostnye metody i kibernetika

О силовской теории для групп конечного ранга Морли.

А.В. Боровик (1989)

Sibirskij matematiceskij zurnal

О сильной базе элементарных типов теорий

Т.Г. Мустафин (1977)

Sibirskij matematiceskij zurnal

О сильной конструктивизируемости булевых алгебр элементарной характеристики (1,1,0)

В.Н. Власов, С.С. Гончаров (1993)

Algebra i Logika

О системах алгоритмических алгерб, сохраняющих идеалы в решетке рекурсивно перечислимых множеств

Ю.В. Голунков, А.А. Савельев (1987)

Verojatnostnye metody i kibernetika

Currently displaying 641 – 660 of 1185

Previous Page 33 Next