Математическая логика и теория алгоритмов Блатов И. А., Старожилова О.В. (2017) Учебное пособие затрагивает такие разделы математической логики и теории алгоритмов как: алгебра высказываний, исчисление высказываний, логика предикатов, исчисление предикатов, элементы теории алгоритмов.