授業動画公開：直観主義論理(1)(2)

引き続きの授業動画です。今回から直観主義論理です。ほんとは証明論でやりたいんですが、モデル論でやります。分量的には6本くらいになるでしょうかね。

以上の内容はhttps://takuro-logic.hatenablog.com/entry/2020/10/14/173723より取得しました。
このページはhttp://font.textar.tv/のウェブフォントを使用してます

不具合報告/要望等はこちらへお願いします。
モバイルやる夫Viewer Ver0.14