2012-12-11 今後の予定 平常授業: 平常授業: 12/18:古典述語論理のモデルと完全性 1/8 :ゲーデルの不完全性定理 1/22 :ゲーデルの不完全性定理(最終回) 授業なし: 12/25