I was intimidated by these math books, but I was able to find a lot of interesting stuff in "Applied Discrete Structures" by Al Doerr and Ken Levasseur[1]. I was attracted by the "Logic" section, and I was not disappointed. You can download it for free from their website.
> Itβs a bit old and unfortunately not free
It's available on Anna's Archive, in case someone is looking for it.
Hey, that's my school! I didn't have Doerr or Levasseur (before my time), but James Propp did a phenomenal job of teaching the material. I don't know how discrete is taught in other schools but I thought having two dedicated classes for it was helpful.
> Itβs a bit old and unfortunately not free
It's available on Anna's Archive, in case someone is looking for it.
[1] https://discretemath.org/