The Matrix Cookbook
Kaare Brandt Petersen & Michael Syskind Pedersen
Beginning Mathematical Logic: A Study Guide
Peter Smith
Information Retrieval: Implementing and Evaluating Search Engines
Stefan Buttcher & Charles L. A. Clarke & Gordon V. Cormack
Matrix Calculus (for Machine Learning and Beyond)
Alan Edelman, Steven G. Johnson