РАЗДЕЛ:  Алгебра и логика/ Логика/