内容は以下の通り 午前10時〜午後1時 Session 3: non-normal modal logic & conditional logic 午後2時半〜午後5時半 Session 4: Intuitionist Logic
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。