
Математическая логика. Курс лекций. Задачник-практикум и решения: Учебное пособие. 4-е изд
Уч.пособие состоит из 2 частей — курса лекций по матем.логике, включающего теоретич.материал по ряду разделов: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы, и...
