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