Any books that really stand out? Currently, I'm reading "Set Theory and Logic" by Stoll. I'm not interested in the axiomatic type of set theory, like Godel's theory and all those unreadable symboic proofs. I'm more interested in stuff like the axiom of choice proofs and such. Also, is there any research left to do in set theory or is it a fully exhausted field?