この広告は、90日以上更新していないブログに表示しています。
授業第十三回目、証明論的意味論の第二回目で、論理結合子の条件の第二回、保存拡大性およびinversion principleを取り上げます。
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。