Proof and the Art of Mathematics: Examples and Extensions
Joel David Hamkins
Filtering and System Identification: A Least Squares Approach
Michel Verhaegen & Vincent Verdult
Proofs: A Long-Form Mathematics Textbook
Jay Cummings
Proximal Algorithms
Neal Parikh & Stephen P. Boyd & Now Publishers