EuDML | Browse

Page 1 Next

Displaying 1 – 20 of 35

Алгоритмические свойства свободных колец.

Г.В. Кряжовских, Г.П. Кукин (1991)

Sibirskij matematiceskij zurnal

Вычислимость частичных функций и перечислимость множеств в арифметике Пеано

И.А. Лавров (1979)

Sibirskij matematiceskij zurnal

Два неразрешимых класса формул классического исчисления предикатов

В.П. Оревков (1968)

Zapiski naucnych seminarov Leningradskogo

Ещё несколько примеров неразрешимых теорий

М.А. Тайцлин, M.A. Tajclin, M.A. Tajclin, M.A. Taislin (1967)

Algebra i Logika

Класс сведения $A_{u} E A$

В.Ф. Кастырко (1964)

Algebra i Logika

Матричные иерархии языков первого порядка и их приложения.

Ю.М. Важенин (1991)

Algebra i Logika

Неразрешимое промежуточное исчисление

С.В. Попов (1981)

Algebra i Logika

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

Ю.Л. Ершов, М.А. Тайцлин, Ju.L. Eršov, M.A. Tajclin, Ǔ. L. Eršov, M.A. Tajclin, M.A. Taitslin, Ju.L. Ersov, Ju.L. Eršov, M.A. Tajclin (1963)

Algebra i Logika

Неразрешимость позитивной $\forall \exists^{3}$ -теории свободной полугруппы.

В.Г. Дурнев (1995)

Sibirskij matematiceskij zurnal

Неразрешимость позитивной $\forall \exists$ -теории свободной полугруппы

С.С. Марченков (1982)

Sibirskij matematiceskij zurnal

Неразрешимость регулярно замкнутых полей

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

Algebra i Logika

Неразрешимость теории булевых алгебр с автоморфизмом

В.И. Мартьянов (1982)

Sibirskij matematiceskij zurnal

Неразрешимость теории решетки $L_{s m}^{0}$ .

Т.В. Рыбина (1990)

Sibirskij matematiceskij zurnal

Неразрешимость элементарной теории поля рациональных функций от одного переменного с рациональными коффинциентами

Р.М. Робинсон, Rafael' M. Robinson, Rafael' M. Robinson, Rafael' M. Robinson (1963)

Algebra i Logika

Неразрешимость элементарных теорий некоторых классов конечных коммутативных ассоциативных колец

М.А. Тайцлин, M.A. Tajclin, M.A. Tajclin, M.A. Tajtslin, M.A. Tajclin (1963)

Algebra i Logika

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

И.А. Лавров (1962)

Algebra i Logika

Неразрешимые свойства расширений логики доказуемости. II

A.B. Чагров (1990)

Algebra i Logika

Неразрешимые свойства расширения логики доказуемости

А.В. Чагров (1990)

Algebra i Logika

О биконъюнктивных классах сведения

В.П. Оревков (1971)

Zapiski naucnych seminarov Leningradskogo

О полных индексных множествах

М.И. Бубис (1976)

Verojatnostnye metody i kibernetika

Displaying 1 – 20 of 35

Currently displaying 1 – 20 of 35