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

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