今後の予定

平常授業：

• 12/20：古典述語論理の完全性
• 1/11：古典論理の演習
• 1/18(最終回)　：カリー・ハワード対応（エクストラ）

授業なし：

12/27, 1/3