逻辑学导论.第11版.(美)柯匹;科恩 + 离散数学