Математическая логика
Показать все ссылки каталога
On fixed point operators, inductive definitions and universes in Martin-Löf's type theory : Diss
1991
1974
0
0
Sprache, Logik, Mathematik : Eine andere Einf. in die Logik = Язык, логика, математика.
2003
1739
0
0
Математическая логика и теория алгоритмов : методическое пособие : для студентов заочной формы обучения направления ПО
2015
2757
0
0
Метод резолюции в логике предикатов первого порядка : Учеб. пособие : Для студентов по курсу "Мат. логика и теория алгоритмов"
1996
1527
0
0
Избранные труды. Т. 2 : Теория алгорифмов и конструктивная математика ; Математическая логика ; Информатика и смежные вопросы
2003
1312
0
0
Парадокс лжеца и теория познания = Paradox of the liar and the epistemology : билингва
2011
1429
0
0
Элементы математической логики : учебное пособие : для математических специальностей и направлений подготовки университетов
2006
2536
0
0
An outline of mathematical logic : Fundamental results and notions explained with all details
1974
2484
0
0
Математическая логика : дополнительные главы : учебное пособие для студентов математических специальностей вузов
2013
2951
0
0
Элементы теоретического программирования: теория типов : учебное пособие к курсу "Теоретические основы программирования"
2016
1185
0
0
Русская правда : Всерос. журн. Рус. нац.-освободит. движения. № 39А : Русская логика - это очень просто!
2006
2392
0
0
ЛОГИЧЕСКИЕ методы в компьютерных науках = Logical methods in computer sciences : Сб. ст.
1991
2041
0
0
Дискретная математика: математическая логика, элементы теории кодирования и теории графов : учебное пособие
2009
3000
0
0
Классификация счетных моделей полных теорий = Classification of countable models of complete theories : в 2 ч.
2014
2570
0
0
Парадокс лжеца и теория познания = Paradox of the liar and the epistemology : билингва
2011
2544
0
0
Standard bases for general coefficient rings and a new constructive proof of Hilbert's basis theorem
1990
2277
0
0
Формализованный и конструктивистский подход к проблеме истинности в математической логике
1964
940
0
0
Proceedings of the Third Brazilian conference on mathematical logic, [UFPe-Recife, Dec. 17-22, 1979]
1980
1956
0
0
Разрешимость исчисления предикатов 1-й степени = Solvability of the first stage predicates calculation
2005
1688
0
0
Алгебра логики в золотом сечении : еще один шаг в область нечетких логик и компьютерного интеллекта
2006
2131
0
0
Принцип квазифункциональности и многозначные логики : Автореф. дис. на соиск. учен. степ. канд. филос. наук : (09.00.07)
1991
2690
0
0
Элементы логики высказываний : Учеб. материалы для учащихся 9 кл. с углубл. изучением гуманит. предметов
1971
1043
0
0
Информатика : логика и алгоритмы : эффективные методы решения задач : пособие для самостоятельной работы : для 10-11 классов
2013
2037
0
0
Основания теоретической информатики. 5 : Логическая семантика и дискретные аппроксимации
1997
1907
0
0
On simultaneous rigid E-unification : Diss = О совместной жёсткой Е-унификации [в математической логике].
1997
956
0
0
Логическое представление нечетких знаний и его применение для решения прикладных задач качественного характера
2001
515
0
0
Die mittelbare Axiomatisierung der die Implikation enthaltenden Systeme des zweiwertigen Aussagenkalküls
1959
2031
0
0
Комбинаторные методы моделирования дискретных распределений : учеб. пособие для мат. специальностей и направлений
2006
1682
0
0