竹内外史『証明論』の補遺がぞんがいにおもしろそうです [本]

じつは持っていなかった竹内外史『証明論』（古書価に注目）をこのたびやっとこさ落掌し（とっとと手に入れとけよ、って感じですね）、とりあえず補遺をながめてるんですが、この補遺は名だたる証明論者あるいは数理論理学者4人による寄稿という構成になっており、なかなかおもしろそうです。

補遺の内訳は、

• クライゼル「証明論: 個人的回想」
• ポーラース「シュッテ派の証明論への貢献」
• シンプソン「Z₂の部分体系と逆数学」
• フィファーマン「証明論: 個人的報告」

というもので、個人的にはとくにシンプソン論文に食指が動いています（そういえば、Subsystems of Second Order Arithmeticの第2版が出るんですよね。これもたのしみ）。

つうか、本文をちゃんと読め、って感じですが。