Introduction to Algorithms, Third Edition
Thomas H. Cormen & Charles E. Leiserson & Ronald L. Rivest & Clifford Stein
How to Prove It: A Structured Approach
Daniel J. Velleman
斯坦福算法博弈论二十讲
Tim Roughgarden
Beginning Mathematical Logic: A Study Guide
Peter Smith
Why Greatness Cannot Be Planned: The Myth of the Objective
Kenneth O. Stanley & Joel Lehman