From the references of the wikipediaWikipedia page on large countable ordinalslarge 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).