結果 : set theory and logic discrete mathematics pdf