If we're dropping links, here's the one [0] from my undergrad discrete math course that seems to have a lot of overlap with the topics in the CMU book. Our professor called it "notes" but it's more like a treatise...
That book was used in my "intro to higher math" class my freshman year. A very humbling experience, seeing that cover again gave me a bit of a knot in my stomach.
[0] https://www.cs.yale.edu/homes/aspnes/classes/202/notes.pdf