There are plenty of good books on Mathematical logic and set theory, but they're pretty dense, dry and tend to lack context.

Honestly I'd recommend the more complex puzzle games. Top recommendation there would probably be SpaceChem: https://www.gog.com/game/spacechem

Solutions to each problem are readily available on youtube, and while it starts off extremely basic the mid and upper level puzzles force you to break things down into distinct parts and have them work together. Best part is there's theoretically thousands of solutions to every puzzle, so even if you crack and look one up, you can then challenge yourself to make a better solution in some way. In fact the game shows you metrics at the end of each puzzle, showing how your solution compared to other players in terms of time, number of parts used, etc.

It's also a lot more entertaining than a textbook as has a pretty awesome soundtrack. :)

But nonetheless, this is exactly the kind of thing that will open the door for me! Thanks.

I'd still be interested if you had any books to recommend.

If the books are dense and dry then how we teach them about logic.

Bump, I'm curious about this aswell.