Просолупов Е.В. Курс лекций по дискретной математике.
Ч.2: Математическая логика: учеб.пособие. Ч.2

Во второй части учебного пособия излагаются основные знания об алгебре логических операций, а также о формальных теориях - исчис­ление высказываний и исчисление предикатов. Книга предназначена для студентов первых курсов университетов, обучающихся по специальности ПРИКЛАДНАЯ МАТЕМАТИКА И ИНФОРМА­ТИКА и ФУНДАМЕНТАЛЬНЫЕ ИНФОРМАТИКА И ИНФОРМАЦИОННЫЕ ТЕХНОЛО­ГИИ; разработана на основе курса ОСНОВЫ ДИСКРЕТНОЙ МАТЕМАТИКИ. (Подробнее)