From the references of the Wikipedia page on large countable ordinals:
Wolfram Pohlers, Proof theory, ... (for Veblen hierarchy and some impredicative ordinals). This is probably the most readable book on large countable ordinals (which is not saying much).
