Book of Proof
Richard H. Hammack
Proof and the Art of Mathematics: Examples and Extensions
Joel David Hamkins
Pattern Recognition and Machine Learning: Solutions to Exercises ...
Christopher M. Bishop & Markus Svensén
Elements of Programming Interviews: The Insiders' Guide
Adnan Aziz & Tsung-Hsien Lee & Amit Prakash
Reading, Writing, and Proving: A Closer Look at Mathematics
Ulrich Daepp & Pamela Gorkin
Proofs: A Long-Form Mathematics Textbook
Jay Cummings
Proofs and Refutations: The Logic of Mathematical Discovery
Imre Lakatos
Mathematical Thinking: Problem-Solving and Proofs 2nd Edition
John P. D'Angelo & Douglas Brent West