Book of Proof
Richard Hammack
Learning Theory From First Principles
Francis Bach
Proofs: A Long-Form Mathematics Textbook
Jay Cummings
Reading, Writing, and Proving: A Closer Look at Mathematics
Ulrich Daepp & Pamela Gorkin
Proximal Algorithms
Neal Parikh & Stephen P. Boyd & Now Publishers