It’s also surprisingly approachable, unlike most serious mathematical-logic(-adjacent) books. The three-page elementary treatment of the Knaster–Tarski fixed point theorem is worth reading even if you’re interested in cases for which it’s not sufficient (seriously infinite or order-theoretic things).