Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Математическая логика, часть II
Автор: Алаев П.Е.
Аннотация:
Пособие предназначено для студентов математических факультетов, изучающих курс математической логики. Вторая часть пособия посвящена секвенциальному исчислению предикатов, теории моделей, теории алгоритмов и алгоритмическим свойствам логических теорий
|
|
О проекте