Логика: Практический курс; учебник для вузов - Рузавин Г. И. (Москва, ЮНИТИ-ДАНА, 2002)