How to Prove It: A Structured Approach
Daniel J. Velleman
Writing Well and Being Well for Your PhD and Beyond: How to ...
Katherine Firth
Matrix Calculus (for Machine Learning and Beyond)
Alan Edelman, Steven G. Johnson
Proximal Algorithms
Neal Parikh & Stephen P. Boyd & Now Publishers
Mathematical Thinking: Problem-Solving and Proofs 2nd Edition
John P. D'Angelo & Douglas Brent West