I have been going through Velleman, and it has been significantly helping me understand various CS papers and books, for example, I struggled understanding through proof outlines in PFPL, but working through just part of this book has helped.

I have had life things interfere with my learning now for the past month or so, but I hope to get back to it soon.