"Формальная логика" - читать интересную книгу автора (Чупахин И.Я., Бродский И.Н.)