Beginning Mathematical Logic: A Study Guide
Peter Smith
Proofs: A Long-Form Mathematics Textbook
Jay Cummings
Proximal Algorithms
Neal Parikh & Stephen P. Boyd & Now Publishers
Mathematical Thinking: Problem-Solving and Proofs 2nd Edition
John P. D'Angelo & Douglas Brent West
计算机网络: 自顶向下方法
James F. Kurose & Keith W. Ross