Do you have any recommendation on a book about proofs? Every time I delve into algorithms most CS books seem to make large jumps in logic when demonstrating proofs.
The best book about proof I've read is "How to prove it" by Daniel J. Velleman. A lot of set theory. But to understand it, you must do the exercises in the book.
And for the solution, checkout this blog:
https://www.inchmeal.io/htpi/index.html