Нет в продаже
Математическая логика и теория алгоритмов.Учебное пособие для ВУЗов
Излагаются основные понятия математической логики и теории алгоритмов: исчисление высказываний, исчисление предикатов первого порядка, исчисление секвенций (Гентцена), метод резолюций и универсальный язык...
