Book of Proof
Richard Hammack
Proofs and Refutations: The Logic of Mathematical Discovery
Imre Lakatos
矩阵计算
Charles F. van Loan & Gene H. Golub
斯坦福算法博弈论二十讲
Tim Roughgarden
计算机网络: 自顶向下方法
James F. Kurose & Keith W. Ross