Введение в логику: Учебник - Бочаров В.А.