EuDML | Browse

Одна специализация формы вывода в генценовских исчислениях и ее приложения

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

Zapiski naucnych seminarov Leningradskogo

Одна схема доказательств в дискретной математике

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

Zapiski naucnych seminarov Leningradskogo

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

Е.З. Дымент (1977)

Sibirskij matematiceskij zurnal

Одна теорема о плотности рекурсивно перечислимых множеств относительно сводимости по Тьюрингу

М.М. Арсланов (1976)

Verojatnostnye metody i kibernetika

Одно простое синтаксическое определение всех классов иерархии Гжегорчика

С.В. Пахомов (1974)

Zapiski naucnych seminarov Leningradskogo

Одно свойство перечислимых множеств, содержащих "сложно выводимые" формулы

А.О. Слисенко (1971)

Zapiski naucnych seminarov Leningradskogo

Однородные $0^{'}$ -элементы в структурных предпорядках

А.С. Денисов (1989)

Algebra i Logika

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

В.В. Рыбаков, М. Терзилер, В.В. Ремацкий (2000)

Algebra i Logika

Описание категоричных квазимногообразий.

Е.А. Палютин, E.A. Paljutin, E.A. Palǔtin, E.A. Palyutin (1975)

Algebra i Logika

Описание категоричных позитивных хорновых классов

Е.А. Палютин (1980)

Algebra i Logika

Описание коммутативных моноидов, все полигоны над которыми $ω$ -стабильны

В.С. Богомолов, Т.Г. Мустафин (1989)

Algebra i Logika

Определение арифметических операций в модели Аккермана

Algebra i Logika

Определимость булевых алгебр в $ℍ𝔽$ -надстройках

А.В. Ромина (2000)

Algebra i Logika

Определимость наименьших неподвижных точек.

С.И. Мардаев (2002)

Algebra i Logika

Определимые инварианты билинейных отображений.

А.Г. Мясников (1990)

Sibirskij matematiceskij zurnal

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

М.Ф. Раца (1987)

Matematiceskie issledovanija

Ответ на один вопрос П.Р.Янга.

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

Algebra i Logika

Относительно стандартные элементы в теории внутренних множеств Е.Нельсона.

Е.И. Гордон (1989)

Sibirskij matematiceskij zurnal

Относительно элементарные подпространства в компактных алгебрах Ли

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

Algebra i Logika

Относительные дополнения в $94_{2}^{0}$ -степенях по перечислимости

И.Ш. Калимуллин (2000)

Algebra i Logika

Displaying 861 – 880 of 1185

Одна специализация формы вывода в генценовских исчислениях и ее приложения

Одна схема доказательств в дискретной математике

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

Одна теорема о плотности рекурсивно перечислимых множеств относительно сводимости по Тьюрингу

Одно простое синтаксическое определение всех классов иерархии Гжегорчика

Одно свойство перечислимых множеств, содержащих "сложно выводимые" формулы

Однородные $0^{'}$ -элементы в структурных предпорядках

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

Описание категоричных квазимногообразий.

Описание категоричных позитивных хорновых классов

Описание коммутативных моноидов, все полигоны над которыми $ω$ -стабильны

Определение арифметических операций в модели Аккермана

Определимость булевых алгебр в $ℍ𝔽$ -надстройках

Определимость наименьших неподвижных точек.

Определимые инварианты билинейных отображений.

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

Ответ на один вопрос П.Р.Янга.

Относительно стандартные элементы в теории внутренних множеств Е.Нельсона.

Относительно элементарные подпространства в компактных алгебрах Ли

Относительные дополнения в $94_{2}^{0}$ -степенях по перечислимости

Currently displaying 861 – 880 of 1185