>>424
>>421ではないですが、
証明論的順序数のテキストとして
Proof Theory: The First Step into Impredicativity (Universitext)
Wolfram Pohlers
http://www.amazon.co.jp/dp/3540693181
が標準的です。