■

Springerのcatalogueを見ていると、以下の文献の近刊(再刊)情報が出ている。

• Wolfram Pohlers　　Proof Theory: The First Step into Impredicativity, Springer, Universitext Series, 2nd Printing, Due in September 2008. (1st ed. published in 1989)

内容を確認してみると私にはちょっと難しそうである。
しかし難しい本も手元に置いて眺めていると、
そんなに難しくなくなってくる。
敬遠し続ける限り、いつまで経っても身に付かない。
という訳で、注文しておく。