著者：ゲーデルの検索結果

ゲーデル 不完全性定理 (岩波文庫)