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

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

Displaying 721 – 740 of 995

О плотно простых множествах с ретрассируемыми дополнениями.

Ю.Д. Шмидт (1991)

Algebra i Logika

О позитивных нумерациях

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

Sibirskij matematiceskij zurnal

О позитивных нумерациях семейств множеств иерархии Ершова

Ж.Т. Таласбаева (2003)

Algebra i Logika

О позитивных нумерованных моделях.

Б.М. Хусаинов (1991)

Sibirskij matematiceskij zurnal

О поиске вывода в исчислениях общего типа

С.Ю. Маслов (1973)

Zapiski naucnych seminarov Leningradskogo

О полинильпотентных алгебрах Ли, заданных одним определяющим соотношением

В.В. Талапов (1983)

Sibirskij matematiceskij zurnal

О полной btt-степени.

Г.Н. Кобзев (1974)

Algebra i Logika

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

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

Verojatnostnye metody i kibernetika

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

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

Algebra i Logika

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

В.П. Добрица (1987)

Algebra i Logika

О полурешетках Роджерса семейств арифметических множеств

С.А. Бадаев, С.С. Гончаров (2001)

Algebra i Logika

О порождаемости допустимых множеств

Ю.П. Ершов (1987)

Algebra i Logika

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

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

Matematiceskie issledovanija

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

Л.П. Лисовик (1984)

Algebra i Logika

О правилах типа сечения в исчислениях общего вида

С.Ю. Маслов, С.A. Норгела (1974)

Zapiski naucnych seminarov Leningradskogo

О предполно нумерованных множествах

С.Г. Дворников (1979)

Sibirskij matematiceskij zurnal

О предполных классах алгоритмов, сохрахяющих принадлежность множеству I

Ю.В. Голунков (1980)

Verojatnostnye metody i kibernetika

О представимости групп $Σ$ -определимых перестановок над допустимыми множествами.

А.С. Морозов (2002)

Algebra i Logika

О представлении частично-рекурсиных функций с некоторыми условиями в виде суперпозиций

B.B. Козьминых, V.V. Koz'minych, V.V. Koz'minyh, V.V. Koz'minykh (1974)

Algebra i Logika

О преобразованиях слов в полугруппе, заданной системой определяющих соотношений

С.И. Адян (1976)

Algebra i Logika

Currently displaying 721 – 740 of 995

Previous Page 37 Next