Исчисление с квантором элементарной эквивалентности
А.Г. Пинус (1984)
Sibirskij matematiceskij zurnal
Similarity:
Displaying similar documents to “О применениях булевых степеней алгебраических систем.”
Исчисление с квантором элементарной эквивалентности
О нестандартной аксиоматизации элементарно неаксиоматизируемых классов дискретных алгебраических систем.
В.А. Молчанов (1999)
Sibirskij matematiceskij zurnal
Similarity:
Лексикографические степени линейно упорядоченных множеств.
А.Г. Пинус (1973)
Sibirskij matematiceskij zurnal
Similarity:
О богатых счетных скелетах эпиморфности дискриминаторных многообразий.
А.Г. Пинус (1990)
Sibirskij matematiceskij zurnal
Similarity:
О теории выпуклых подмножеств
А.Г. Пинус (1972)
Sibirskij matematiceskij zurnal
Similarity:
О конструктивизациях булевых алгебр.
А.Г. Пинус (1981)
Sibirskij matematiceskij zurnal
Similarity:
О нётеровом индексе линейных алгебро-дифференциальных систем. I
В.Ф. Чистяков (1993)
Sibirskij matematiceskij zurnal
Similarity:
Характеризация условно термальных функций
А.Г. Пинус (1997)
Sibirskij matematiceskij zurnal
Similarity:
Пространства Канторовича и проблема метризации
А.Г. Кусраев (1993)
Sibirskij matematiceskij zurnal
Similarity:
Вычислимые классы конструктивизаций моделей конечного типа конструктивности
С.С. Гончаров (1993)
Sibirskij matematiceskij zurnal
Similarity:
Тьюрингова сводимость как алгебраическая вложимость
А.С. Морозов (1997)
Sibirskij matematiceskij zurnal
Similarity: