Book of Proof

Book of Proof（Richard Hammack，2009）。暂无简体中文版。HN 上 54 人推荐。从集合、逻辑讲起，介绍直接证明、反证法、归纳法等基本证明方法。