多处理器编程的艺术
Maurice Herlihy
Writing Well and Being Well for Your PhD and Beyond: How to ...
Katherine Firth
How to Prove It: A Structured Approach
Daniel J. Velleman
Proofs: A Long-Form Mathematics Textbook
Jay Cummings
Book of Proof
Richard H. Hammack