http://kamome.2ch.net/test/read.cgi/math/1293882228/980
岩波書店5月　『数学基礎論』新井敏康　著
ttp://www.iwanami.co.jp/hensyu/science/next.html
気合入ってるなあ　楽しみ

みすずから出たトルケル・フランセーンの本もかなり良いよ。
ロジック専攻というレベルじゃなくて不完全性周りが
まさに著者の専門だからかなり細かいことまで徹底的に書いている。
但し著者独自の主張じゃないか、と思うようなことも無いではないけどね。

訳者の田中先生って今どうしてるんだろうか。
今年春に東工大で講演会やるみたいな話あった気がするけどどうなってるのかな。