授業内容

1. 前回の復習
2. 直観主義論理
3. 古典論理
4. 今後の予定・成績について