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) 内容…