オンラインで入手できる数理論理学・数学基礎論のテキスト

2010/05/13 603 users 数理論理学 テキスト オンライン グラフ 講義ノート

数理論理学、数学基礎論の教科書的に使えるテキスト（講義ノート、サーヴェイ、モノグラフ等）のうち、オンラインで入手できるものを集めました。 入門的概説 Lou van den Dries, “Lecture notes: Mathematical Logic (Math 579).” [PDF] Stephen G. Simpson, “Lecture notes: Mathematical Log... 続きを読む