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

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

Displaying 141 – 160 of 1185

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

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

Sibirskij matematiceskij zurnal

Вычислимость с двуместным оракулом.

Л.Н. Победин (1994)

Sibirskij matematiceskij zurnal

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

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

Sibirskij matematiceskij zurnal

Вычислимые классы конструктивизаций $2$ -конструктивизируемых моделей.

С.Ю. Подзоров (1999)

Algebra i Logika

Вычислимые классы конструктивизаций моделей бесконечной алгоритмической размерности

Ю.Г. Венцов (1994)

Algebra i Logika

Вычислимые классы конструктивизаций моделей конечного типа конструктивности

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

Sibirskij matematiceskij zurnal

Вычислимые нумерации и отношения эквивалентности

З.Г. Хисамиев (1986)

Sibirskij matematiceskij zurnal

Вычислимые однозначные нумерации

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

Algebra i Logika

Вычислимые структурные и антиструктурные теоремы.

С.С. Гончаров, Дж. Найт (2002)

Algebra i Logika

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

В.А. Ганов (1986)

Sibirskij matematiceskij zurnal

Гейтинговское исчисление предикатов с эпсилон-символом

Г.Е. Минц (1974)

Zapiski naucnych seminarov Leningradskogo

Генерические модели счетных теорий

С.А. Чихачев (1975)

Algebra i Logika

Георг Кантор как автор конструкций, играющих фундаментальные роли в конструктивной математике

Н.А. Шанин (1995)

Zapiski naucnych seminarov POMI

Гиперпростые m-степени.

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

Algebra i Logika

Гипотеза Вота для модулей над коммуникативным прюферовым кольцом.

М. Прест, В.А. Пунинская (1999)

Algebra i Logika

Гливенковские классы секвенций

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

Zapiski naucnych seminarov Leningradskogo

Гомоморфизмы и алгоритмические проблемы в проективных плоскостях.

В.В. Вдовин (1991)

Sibirskij matematiceskij zurnal

Грамматики с линейной памятью

А.В. Гладкий, A.V. Gladkij, A.V. Gladkij, A.V. Gladkij (1963)

Algebra i Logika

Границы разрешимости некоторых классов нильпотентных и разрешимых групп

Ю.М. Важенин, В.Ю. Попов (2000)

Algebra i Logika

Группоиды ранга 2, порождающие категоричные Хорновы классы.

А.А. Степанова (1984)

Algebra i Logika

Currently displaying 141 – 160 of 1185

Previous Page 8 Next