From the references of the wikipedia page on [large countable ordinals](http://en.wikipedia.org/wiki/Large_countable_ordinal):

>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).