Learning Theory From First Principles
Francis Bach
Beginning Mathematical Logic: A Study Guide
Peter Smith
Algorithm Design
Jon Kleinberg & Éva Tardos
计算理论导引
Michael Sipser
Introduction to the Theory of Computation (Third Edition): Ji ...