Beginning Mathematical Logic: A Study Guide
Peter Smith
Measurement
Paul Lockhart
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
Numerical Optimization
Jorge Nocedal & Stephen J. Wright
Springer Series in Operations Research (1)