Логика - Старченко А.А., Кириллов В.И.