Логика: учебник - Кириллов В. И. Вячеслав Иванович (Москва, Высшая школа, 1987)