教材

Book of Proof, Third Edition

面向数学证明过渡课程的开放教材，覆盖集合、逻辑、直接证明、反证法、关系、函数与基数。

Richard Hammack