EuDML | Browse

The search session has expired. Please query the service again.

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

Displaying 961 – 980 of 1185

Простые числа перечисляются полиномом от 10 переменных

Ю.В. Матиясевич (1977)

Zapiski naucnych seminarov Leningradskogo

Прямые слагаемые булевых алгебр с выделенными идеалами

Д.Е. Пальчунов (1992)

Algebra i Logika

Псевдофундаментальная последовательность, не эквивалентная монотонной

Г.С. Цейтин (1971)

Zapiski naucnych seminarov Leningradskogo

Пульсирующие иерархии.

Н.В. Белякин (1994)

Sibirskij matematiceskij zurnal

Равномерность в теории вычислимых структур

Р. Доуни, Д. Хиршвельд, Б. Хусаинов (2003)

Algebra i Logika

Разделимые типы и ранговые функции в стабильных теориях.

Т.Г. Мустафин, Т.А. Нурмагамбетов (1983)

Algebra i Logika

Размерность Хохшильда-Митчела линейно упорядоченных множеств и гипотеза континуума.

А.А. Хусаинов (1994)

Sibirskij matematiceskij zurnal

Разрешимое некомпактное расширение логики S4.

В.В. Рыбаков (1978)

Algebra i Logika

Разрешимость логических уравнений в модальной системе Grz и интуиционистской логике.

В.В. Рыбаков (1991)

Sibirskij matematiceskij zurnal

Разрешимость некоторых неэлементарных теорий

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

Algebra i Logika

Разрешимость некоторых элементарных теорий

М.А. Тайцлин, M.A. Tajclin, M.A. Tajclin, M.A. Taiclin, M.A. Tajchlin (1964)

Algebra i Logika

Разрешимость позитивной теории свободной счетнопорожденной полугруппы

Ю.М. Важенин, Б.В. Розенблат (1981)

Matematiceskij sbornik

Разрешимость проблемы допустимости в конечнослойных модальных логиках.

В.В. Рыбаков (1984)

Algebra i Logika

Разрешимость проблемы допустимости правил вывода в модальных логиках S4.2 и S4.2 Grz и суперинтуиционистской логике КС

С.В. Бабенышев (1992)

Algebra i Logika

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

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

Algebra i Logika

Разрешимость теорий конечно-определенных квазигрупп из $R$ -многообразий квазигрупп.

Л.В. Шабунин (1991)

Sibirskij matematiceskij zurnal

Разрешимость $\forall \exists$ теории некоторой фактор-решетки рекурсивно-перечислимых множеств.

А.Н. Дегтев (1978)

Algebra i Logika

Разрешимость универсальной теории натуральных чисел со сложением и делимостью

А.П. Бельтюков (1976)

Zapiski naucnych seminarov Leningradskogo

Разрешимость эквациональной теории положительных чисел с возведением в степень.

Р.Г. Гуревич (1984)

Sibirskij matematiceskij zurnal

Разрешимость элементарной теории включения сфер

А.Д. Тайманов, A.D. Tajmanov, A.D. Tajmanov, A.D. Taimanov, A.D. Tajmanov (1963)

Algebra i Logika

Currently displaying 961 – 980 of 1185

Previous Page 49 Next