授業内容

1. 前回の復習
2. 直観主義論理の推件式
3. 推件計算の構造規則
4. ランベック計算（FL）
5. 今後の予定