计算理论导引
Michael Sipser
算法导论
Thomas H. Cormen
Book of Proof
Richard H. Hammack
A First Course in Mathematical Modeling
Frank R. Giordano & Maurice D. Weir & William P. Fox
Proofs: A Long-Form Mathematics Textbook
Jay Cummings