Зарипова Э.Р., Кокотчикова М.Г., Севастьянов Л.А. Лекции по дискретной математике. Математическая логика

Москва: Российский университет дружбы народов, 2011. - 79 с.В пособии излагаются основные положения логики - булева алгебра, исчисление высказываний, исчисление предикатов. Подготовлено на кафедре систем телекоммуникаций и предназначено для студентов I, II курсов математических специальностей университетов.