Сергей Шапорев – Математическая логика. Курс лекций и практических занятий
В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра логики и исчисление высказываний, логика и исчисление предикатов, рассмотрены вопросы [...]
