How to Prove It: A Structured Approach
Daniel J. Velleman
Proofs: A Long-Form Mathematics Textbook
Jay Cummings
Probabilistic Graphical Models: Principles and Techniques
Daphne Koller & Nir Friedman
Entropy and Diversity: The Axiomatic Approach
Tom Leinster
计算机网络: 自顶向下方法
James F. Kurose & Keith W. Ross
零信任网络: 在不可信网络中构建安全系统
Evan Gilman