レジュメ・動画リンク置き場です。
レジュメ
「正しい論理」を求めて：厳密含意の論理
直観主義論理
動画
厳密含意の論理(1)
厳密含意の論理(2)
直観主義論理(1)「構成」とは
直観主義論理(2) フレーム・モデル