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

Displaying 661 – 680 of 1185

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

А.Д. Тайманов (1967)

Algebra i Logika

О системе аксиом исчисления строгой импликации

Л.Л. Максимова (1964)

Algebra i Logika

О слабо гиперпростых множествах

Г.В. Здебская (1980)

Verojatnostnye metody i kibernetika

О слабо предполных позитивных эквивалентностях.

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

Sibirskij matematiceskij zurnal

О сложности алгоритмов сведения в конструкциях Новикова-Буна.

Б.А. Трахтенброт (1969)

Algebra i Logika

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

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

Algebra i Logika

О сложности вывода в исчислении высказываний

Г.С. Цейтин (1968)

Zapiski naucnych seminarov Leningradskogo

О сложности линейных выводов в методе резолюций

Р.К. Самитов (1983)

Verojatnostnye metody i kibernetika

О сложности реализации некоторых симметрических функций формулами глубины 3 в базисе ${$ &, $\lor,^{-}}$

С.Е. Кузнецов, Н.Р. Нигматуллин (1985)

Verojatnostnye metody i kibernetika

О соотношении классического и конструктивного вариантов построения математического анализа

М.Г. Гельфонд (1973)

Zapiski naucnych seminarov Leningradskogo

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

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

Zapiski naucnych seminarov Leningradskogo

О сохранении стабильности при конечном расширении группы.

К.А. Мейрембеков (1986)

Algebra i Logika

О спектре квазитрансцендентных теорий.

М.И. Бекенов (1982)

Algebra i Logika

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

А.Ю. Плюшкевичене (1971)

Zapiski naucnych seminarov Leningradskogo

О списке свойств с условием финитарной реализуемости

С.Ж.. Каратабанова (1992)

Algebra i Logika

О сравнении индексов, возникающих при трансфинитной итерации функций.

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

Sibirskij matematiceskij zurnal

О с-степенях непрерывных всюду определенных функционалов.

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

Algebra i Logika

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

С. Каллибеков (1973)

Sibirskij matematiceskij zurnal

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

С.Д. Захаров (1986)

Algebra i Logika

О строении m-скачка.

Ан.А. Мальцев (1981)

Sibirskij matematiceskij zurnal

Currently displaying 661 – 680 of 1185

Previous Page 34 Next