Book of Proof
Richard H. Hammack
How to Prove It: A Structured Approach
Daniel J. Velleman
Reading, Writing, and Proving: A Closer Look at Mathematics
Ulrich Daepp & Pamela Gorkin
Theory and Computation of Electromagnetic Fields
Jian-Ming Jin
Proximal Algorithms
Neal Parikh & Stephen P. Boyd & Now Publishers