C++ Primer Plus
Stephen Prata
How to Prove It: A Structured Approach
Daniel J. Velleman
Proof and the Art of Mathematics: Examples and Extensions
Joel David Hamkins
Beginning Mathematical Logic: A Study Guide
Peter Smith
Non-Convex Optimization for Machine Learning
Prateek Jain & Purushottam Kar