Алгоритмы, алгебры и интуиционистская логика
Displaying 101 – 120 of 1185
Алгорифмы Колмогорова сильнее машин Тьюринга
Д.Ю. Григорьев (1976)
Zapiski naucnych seminarov Leningradskogo
Аналогии теоремы Райса для семантических классов предложений.
М.Г. Перетятькин (1991)
Algebra i Logika
Антиаддитивные примитивно связные теории
Е.А. Палютин (2003)
Algebra i Logika
Аппроксимации отображений в группу.
С.В. Смирнов (1978)
Algebra i Logika
Аппроксимируемость операторов в конструктивных метрических пространствах
С.В. Пахомов (1976)
Zapiski naucnych seminarov Leningradskogo
Арифметическая иерархия абелевых групп
Н.Г. Хисамиев (1988)
Sibirskij matematiceskij zurnal
Арифметическая иерархия и идеалы нумерованных булевых алгебр.
С.П. Одинцов, В.Л. Селиванов (1989)
Sibirskij matematiceskij zurnal
Арифметические представления перечислимых множеств с небольшим числом кванторов
Ю.В. Матиясевич (1973)
Zapiski naucnych seminarov Leningradskogo
Атомные булевы логики
В.В. Калинин (1976)
Verojatnostnye metody i kibernetika
Базисы допустимых правил вывода модальных логик S4.2 и S4.2Grz
С.В. Бабенышев (1993)
Algebra i Logika
Базисы допустимых правил вывода табличных модальных логик глубины 2.
В.В. Римацкий, V. V. Rimackij, V. V. Rimackij, V. V. Rimackij (1996)
Algebra i Logika
Базисы допустимых правил модальной системы Grz и интуиционистской логики
В.В. Рыбаков (1987)
Matematiceskij sbornik
Базисы квазитождеств конечных модальных алгебр.
В.В. Рыбаков (1982)
Algebra i Logika
Базы допустимых правил логик S4 и Int
В.В. Рыбаков (1985)
Algebra i Logika
Безатомные идеалы конструктивных булевых алгебр.
С.П. Одинцов (1984)
Algebra i Logika
Бескванторные и однокванторные системы
Г.Е. Минц (1971)
Zapiski naucnych seminarov Leningradskogo
Бесконечные арифметические формулы и принцип рефлексии.
Н.В. Белякин, С.П. Одинцов, N. V. Beljakin, S. P. Odincov, N. V. Belǎkin, S. P. Odincov, N. V. Beljakin, S. P. Odincov (1997)
Algebra i Logika
Бесконечные множества простых чисел, допускающие диофантовы представления с восемью переменными
М.А. Всемирнов (1995)
Zapiski naucnych seminarov POMI
Булевозначные алгебры
В.Н. Салий (1973)
Matematiceskij sbornik