Лихтарников Л.М., Сукачева Т.Г. Математическая логика. Курс лекций

Учебное пособие. — СПб.: Издательство "Лань", 1999. — 288 с. — (Серия "Учебники для вузов").Учебное пособие предназначено дли студентов университетов и педагогических институтов, изучающих курс математической логики. Включает в себя разделы: Алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы.