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.