2009-01-28 なんとなくPohlersのProof Theoryでも読んでみようかと… 1月27日に新版を衝動買いしたら、今日届いてた。円高なので6,174円、まぁ安い(と思う)。amazonで見た感じではAn Introductionに比べて内容も豊富になってる上に、英語が読みやすくなっとるので何気にポチッと。せっかく読むなら経過を残そうと開設したものの…どう進めようぞ。