Пособие предназначено для студентов математических факультетов, изучающих курс математической логики. Вторая часть пособия посвящена секвенциальному исчислению предикатов, теории моделей, теории алгоритмов и алгоритмическим свойствам логических теорий.
Учебное пособие, издание второе, исправленное и дополненное Количество страниц: 96 Год издания: 2018 ISBN 978−5-4437−0846−1
-------------------------------------------------------- Обращаем Ваше внимание! Цена указана без учета стоимости доставки. Доставка курьерской службой или Почтой России осуществляется за счет покупателя. Пожалуйста, ознакомьтесь с условиями и стоимостью доставки в Ваш населенный пункт заранее. Также Вы можете самостоятельно забрать заказ из офлайн-магазина. Мы находимся по адресу: г. Новосибирск, ул. Пирогова, 3, 1 этаж, 122, Новосибирский государственный университет.