Л. М. Лихтарников, Т. Г. Сукачева Математическая логика
Изд.: Лань, 2008 г.
Учебное пособие в двух частях. В первой представлен курс лекций по математической логике, который включает теоретический материал и состоит из нескольких разделов: исчисление высказываний, алгебра логики, логика предикатов, алгоритмы, математические теории. Во вторую часть входит задачник-практикум, который содержит упражнения, направленные на более успешное восприятие первого тома.