大変申し訳ありません、急に会議が入り、急遽休講となりました。 次回授業は、ちょっとあいて11月17日となります。 さて、授業・後期第三回目は、「論理結合子の意味とは何か」の続きで「反転原理」を取り上げます。 前回紹介したように、トンクは体系を自明…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。