Логика: Учебное пособие для вузов - Берков, В. Ф. (ТетраСистемс, 1997)