Beginning Mathematical Logic: A Study Guide
Peter Smith
Information Theory, Inference and Learning Algorithms
David J. C. MacKay
The Matrix Cookbook
Kaare Brandt Petersen & Michael Syskind Pedersen
Non-Convex Optimization for Machine Learning
Prateek Jain & Purushottam Kar
Computers and Intractability: A Guide to the Theory of NP-completeness
Michael R. Garey & David S. Johnson