Логика: Учебник для вузов - Ивин Александр Архипович (Гардарики, 2000)