Пособие состоит из двух частей. 1) Курс лекций по математической логике влючает в себя теоретический материал по разделам:1.Алгебра, 2. Исчисление высказываний. 3. Логика предикатов. 4.Математические теории. 2)Задачник-практикум по математической логике содержит набор упражнений почти по всем перечисленным разделам.