Курс лекций по дискретной математике. Часть 2. Математическая логика

- Во второй части учебного пособия излагаются основные знания об алгебре логических операций, а также о формальных теориях - исчис­ление высказываний и исчисление предикатов.