0371現代数学の系譜 工学物理雑談 古典ガロア理論も読む
2017/10/10(火) 23:29:34.65ID:N5wCp15ohttp://klapaucius.web.fc2.com/logic/online-textbooks.html
オンラインで入手できる数理論理学・数学基礎論のテキスト
数理論理学、数学基礎論の教科書的に使えるテキスト(講義ノート、サーヴェイ、モノグラフ等)のうち、オンラインで入手できるものを集めました。
・入門的概説
・論理一般
高階論理と型理論
直観主義論理
コンビネータとラムダ計算
時相論理および時制論理
様相論理
適切さの論理
自然言語の論理
空間論理
・モデル理論
安定性理論
無限論理
・計算可能性理論および再帰理論
・集合論
pcf理論
記述集合論
実数の集合論
選択公理
強制法と内部モデル
連続体仮説
NF
・証明論と構成的数学
順序数解析
算術の体系と不完全性
証明可能性論理
線形論理
構成的数学
・代数的論理と圏論
ブール代数
普遍代数
量子論理
圏論
・歴史