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

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