Introduction to the Theory of Computation (Third Edition): Ji ...
Michael Sipser
Statistical Rethinking: A Bayesian Course With Examples in R ...
Richard McElreath
Beginning Mathematical Logic: A Study Guide
Peter Smith
斯坦福算法博弈论二十讲
Tim Roughgarden
Computers and Intractability: A Guide to the Theory of NP-completeness
Michael R. Garey & David S. Johnson