11/15：平常授業（直観主義述語論理のクリプキ・フレーム） 11/22：休講 11/29：平常授業（古典論理のモデル） 12/06：休講 12/13：平常授業（古典論理の完全性定理1） 12/20：平常授業（古典論理の完全性定理2） 1月：2回程度（カリー・ハワード対応） 1月…