Об ортогонально полной алгебраической системе.
А.И. Омаров (1991)
Algebra i Logika
Similarity:
Displaying similar documents to “Некоторые свойства алгебраической сводимости конструктивизаций”
Об ортогонально полной алгебраической системе.
О сильной конструктивизируемости булевых алгебр элементарной характеристики (1,1,0)
В.Н. Власов, С.С. Гончаров (1993)
Algebra i Logika
Similarity:
Алгоритмические размерности гомоморфных образов моделей
Б.М. Хусаинов (1992)
Algebra i Logika
Similarity:
Импликативно селекторные множества.
А.Н. Дëгтев, A. N. Dëgtev, A. N. Dëgtev, A. N. Dëgtev (1996)
Algebra i Logika
Similarity:
Частично упорядоченные множества и нематричные тождества неассоциативных алгебр
В.Н. Латышев (1976)
Algebra i Logika
Similarity:
О категоричных позитивных хорновских теориях.
Е.А. Палютин, E.A. Paljutin, E.A. Palǔtin, E.A. Paljutin (1979)
Algebra i Logika
Similarity:
Теоремы переноса и алгебра модальных операторов.
В.А. Любецкий, V. A. Ljubeckij, V. A. Lǔbeckij, V. A. Ljubeckij (1997)
Algebra i Logika
Similarity:
О числе предлокально-табличных суперинтуиционистских пропозициональных логик.
С.И. Мардаев (1984)
Algebra i Logika
Similarity:
Некоторые вопросы обобщенной вычислимости.
Л.Н. Победин (1973)
Algebra i Logika
Similarity:
Некоторые свойства ретрактов нумерации Поста.
И.А. Лавров (1974)
Algebra i Logika
Similarity:
Выразимость в элементарной теории рекурсивно-перечислимых множеств с логикой реализуемости
Р.К. Пранк (1981)
Algebra i Logika
Similarity: