本棚.org

チューリングと超パズル: 解ける問題と解けない問題	go.tekuteku
ゲーデルと20世紀の論理学 4 集合論とプラトニズム	p-his
数の体系と超準モデル	tanaka uru
数学のロジックと集合論
数学基礎論序説: 数の体系への論理的アプローチ	kuwa