2020-10-14 授業動画公開:直観主義論理(1)(2) 引き続きの授業動画です。今回から直観主義論理です。ほんとは証明論でやりたいんですが、モデル論でやります。分量的には6本くらいになるでしょうかね。 レジュメ 直観主義論理 動画 youtu.be youtu.be