Книга затрагивает такие разделы математической логики и теории алгоритмов как: алгебра высказываний, исчисление высказываний, логика предикатов, исчисление предикатов, элементы теории алгоритмов. Книга может быть полезна для студентов и магистрантов технических университетов, а также для специалистов, желающих изучать математическую логику самостоятельно.






