Формальная логика: учебник - Малахов, В. П. Валерий Петрович (Gaudeamus, 2001)