Beginning Mathematical Logic: A Study Guide
Peter Smith
Learning Theory From First Principles
Francis Bach
多处理器编程的艺术
Maurice Herlihy
Information Retrieval: Implementing and Evaluating Search Engines
Stefan Buttcher & Charles L. A. Clarke & Gordon V. Cormack
Computers and Intractability: A Guide to the Theory of NP-completeness
Michael R. Garey & David S. Johnson