Пособие предназначено для студентов математических факультетов, изучающих курс математической логики. Вторая часть пособия посвящена секвенциальному исчислению предикатов, теории моделей, теории алгоритмов и алгоритмическим свойствам логических теорий.
Учебное пособие, издание второе, исправленное и дополненное Количество страниц: 96 Год издания: 2018 ISBN 978−5-4437−0846−1