Beginning Mathematical Logic: A Study Guide
Peter Smith
Computers and Intractability: A Guide to the Theory of NP-completeness
Michael R. Garey & David S. Johnson
Proofs and Refutations: The Logic of Mathematical Discovery
Imre Lakatos
Combinatorial Optimization: Theory and Algorithms
Bernhard Korte & Jens Vygen
Algorithms and Combinatorics (1)
斯坦福算法博弈论二十讲
Tim Roughgarden