自主レポートは1月15日までに、文学部教務係に提出してください。

授業スライド こちらから 宿題 はなし。

古典論理の復習 古典論理と直観主義論理の関係 グリベンコの定理の証明 今後の予定・成績について

授業第十九回目、本日は最終回です。直観主義論理と古典論理の関係としてグリベンコの定理の話をもう一回します。