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...

[0] https://www.cs.yale.edu/homes/aspnes/classes/202/notes.pdf