Beginning Mathematical Logic: A Study Guide
Peter Smith
Introduction to Algorithms, Third Edition
Thomas H. Cormen & Charles E. Leiserson & Ronald L. Rivest & Clifford Stein
Information Retrieval: Implementing and Evaluating Search Engines
Stefan Buttcher & Charles L. A. Clarke & Gordon V. Cormack
Mathematical Thinking: Problem-Solving and Proofs 2nd Edition
John P. D'Angelo & Douglas Brent West
How to Prove It: A Structured Approach
Daniel J. Velleman
Computers and Intractability: A Guide to the Theory of NP-completeness
Michael R. Garey & David S. Johnson
Information Geometry and Its Applications
Shun-Ichi Amari