Sokratesさんの備忘録ないし雑記帳

思考の流し台. 駄文注意.

数学基礎論

【備忘録】数理論理学・数学基礎論の本

論理学・数学基礎論の本を並べてみた. たぶん, 有名どころはほとんど網羅できているはず(2016年10月4日最終更新). 0. 一般書 一般書と書いたが, 数理論理学の一般書ってあまりない. 強いてあげるならというニュアンス. 板井昌典『情報理論のための数理論理学…