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
03Gxx Algebraic logic

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

Displaying 681 – 700 of 710

О нумерациях канонически вычислимых семейств конечных множеств

В.Л. Селиванов (1977)

Sibirskij matematiceskij zurnal

О регулярности элементов релятива

Leo Anatoljewitsch Skornjakov (1989)

Archivum Mathematicum

О сложности реализации некоторых симметрических функций формулами глубины 3 в базисе ${$ &, $\lor,^{-}}$

С.Е. Кузнецов, Н.Р. Нигматуллин (1985)

Verojatnostnye metody i kibernetika

О числе предлокально-табличных суперинтуиционистских пропозициональных логик.

С.И. Мардаев (1984)

Algebra i Logika

Об алгебраической семантике для суперинтуиционистских предикатных логик.

Д.Е. Тишковский, D.E. Tiškovskij, D.E. Tiškovskij, D.E. Tiškovskij (1999)

Algebra i Logika

Об одном многообразии алгебр

И.В. Витенько, В.В. Николенко (1974)

Sibirskij matematiceskij zurnal

Об одном погружении итеративных алгебр Поста в полугруппы.

Д.Г. Скордев (1982)

Algebra i Logika

Об одном усилении теорем Слупецкого и Яблонского

А.И. Мальцев (1967)

Algebra i Logika

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

М.И. Каргаполов (1962)

Algebra i Logika

Об элементарных теориях многообразий Поста

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

Algebra i Logika

Обобщение двух теорем Белоусова для сильно зависимых функций k-значной логики

Ф.Н. Сохацкий (1985)

Matematiceskie issledovanija

Объединение логик, моделируемых конечными деревьями.

Я.М. Другуш (1982)

Algebra i Logika

Полиномиальные разложения булевых функций по невырожденным функциям.

С.Ф. Винокуров, Н.А. Перязев (1991)

Algebra i Logika

Предтабличные расширения логики S4 Льюиса.

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

Algebra i Logika

Проективные свойства Бета в модальных и суперинтуиционистских логиках.

Л.Л. Максимова, L.L. Maksimova, L.L. Maksimova, L.L. Maksimova (1999)

Algebra i Logika

Произведения итеративных алгебр.

И.А. Мальцев, Б.Г. Тугылбаева (1999)

Sibirskij matematiceskij zurnal

Простые итеративные алгебры.

К.Л. Сафин, K. L. Safin, K. L. Safin, K. L. Safin (1998)

Algebra i Logika

Разрешимость проективного свойства Бета в многообразиях гейтинговых алгебр

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

Algebra i Logika

Разрешимость элементарной теории дистрибутивных структур с относительными дополнениями и теории фильтров

Ю.Л. Ершов, Ju.L. Eršov, Ǔ. L. Eršov, Ju.L. Ersov (1964)

Algebra i Logika

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

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

Algebra i Logika

Currently displaying 681 – 700 of 710

Previous Page 35 Next