I recommend "Software Foundations" by Pierce and others https://softwarefoundations.cis.upenn.edu/ if you're a programming fan.

If you're also into math, it's a beauty in itself (Godel's incompleteness theorem, quantifier elimination for logic formulas about complex numbers). I think there should be a good book on math logic somewhere, but I'm not familiar with books in English.