授業スライド 宿題 はなし。

前回の復習 古典論理のモデル 古典論理と直観主義論理の関係 今後の予定・成績について

授業第十七回目、本日は古典論理のモデルの話と、直観主義論理と古典論理の関係としてグリベンコの定理の話をします。