授業内容

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