広瀬健、横田一正『ゲーデルの世界―完全性定理と不完全性定理』

ゲーデルの世界―完全性定理と不完全性定理

ゲーデルの世界―完全性定理と不完全性定理

学生時代ケーデル萌えの時期があってその時に買った本。なんか頑張って途中まで読んだ形跡あり…

(初出:メディアマーカー)