One nice feature of Thomas Forster’s quirky but fun Logic, Induction and Sets is that it brings out how the theory of ordinals can be developed before doing any serious set theory, and why doing things that way round is philosophically the right approach. Ok, other people say that too! — but I found Thomas’s take on all this particularly congenial.