Новосибирский государственный технический университет (НГТУ), Инфра-М, 2008
Страниц: 224
Формат: 60x90/16
В книге излагаются основные исчисления математической логики: исчисления высказываний и исчисления предикатов; основы теории моделей и теории алгоритмов, а также элементы неклассических логик. Для студентов младших курсов технических вузов, изучающих математическую логику и теорию алгоритмов.