Математическая логика. Курс лекций

Учебное пособие предназначено дли студентов университетов и педагогических институтов, изучающих курс математической логики.

Включает в себя разделы : Алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы