林晋
クルト・ゲーデル著『不完全性定理』(八杉満利子と共訳)岩波文庫 2006年