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
03Dxx Computability and recursion theory
03D99 None of the above, but in this section

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

Displaying 21 – 40 of 52

Некоторые свойства конструктивизации булевых алгебр

С.С. Гончаров (1975)

Sibirskij matematiceskij zurnal

Некоторые свойства ретрактов нумерации Поста.

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

Algebra i Logika

Неразрешимость элементарной теории свободной решетки

Н.Г. Хисамиев (1967)

Algebra i Logika

О вычислимых нумерациях.

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

Algebra i Logika

О вычислимых нумерациях. II.

Ю.Л. Ершов, И.А. Лавров (1969)

Algebra i Logika

О конструктивных операторах конечных типов

В.П. Чернов (1973)

Zapiski naucnych seminarov Leningradskogo

О мощности множества максимальных подалгебр алгебры частично рекурсивных функций.

А.И. Щеглов (1968)

Algebra i Logika

О некоторых примерах верхних полурешеток вычислимых нумераций.

В.В. Вьюгин (1973)

Algebra i Logika

О некоторых свойствах алгебр рекурсивных функций

Е.А. Поляков, E.A. Poljakov, E.A. Polǎkov, E.A. Poljakov (1964)

Algebra i Logika

О несравнимых нумерациях

С.А. Бадаев (1974)

Sibirskij matematiceskij zurnal

О полных теориях с конечным числом счетных моделей.

М.Г. Перетятькин (1973)

Algebra i Logika

О порождении 2-местных примитивно-рекурсивных функций

С.А. Березин (1972)

Matematiceskie issledovanija

О проблеме изоморфизма для коммутативных полугрупп

М.А. Тайцлин (1974)

Matematiceskij sbornik

О распознавании в реальное время отношения вхождения

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

Zapiski naucnych seminarov Leningradskogo

О рекурсивных решетах

В. Амстиславский (1966)

Sibirskij matematiceskij zurnal

О сводимости вычислимых нумераций.

А.Б. Хуторецкий, A.B. Chutoreckij, A.B. Hutoreckij, A.B. Khutoretskij (1969)

Algebra i Logika

О соотношении сноп-пространств и нумерованных множеств со свойством $C_{2}^{*}$

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

Zapiski naucnych seminarov Leningradskogo

О финитно редукционных классах моделей

С.Р. Когаловский (1965)

Sibirskij matematiceskij zurnal

О числе неавтоэквивалентных конструктивизаций

С.С. Гончаров (1977)

Algebra i Logika

Об изоморфизмах максимальных подалгебр алгебры Р. Робинсона

В.А. Соколов (1967)

Algebra i Logika

Currently displaying 21 – 40 of 52

Previous Page 2 Next