ゲーデルに挑む: 証明不可能なことの証明作者: 田中一之出版社/メーカー: 東京大学出版会発売日: 2012/04/28メディア: 単行本購入: 1人 クリック: 19回この商品を含むブログ (4件) を見る 仙台ロジック倶楽部の成果ということか。