bibliographic details : 离散数学导论:数理逻辑·集合·关系部分