Математическая логика. Часть 2

Алаев П. Е.
89,00
р.
Пособие предназначено для студентов математических факультетов, изучающих курс математической логики. Вторая часть пособия посвящена секвенциальному исчислению предикатов, теории моделей, теории алгоритмов и алгоритмическим свойствам логических теорий.

Учебное пособие, издание второе, исправленное и дополненное
Количество страниц: 96
Год издания: 2018
ISBN 978−5-4437−0846−1
Made on
Tilda