During the seminar, we compared the strengths of different axiom schemas used in various logical systems.
セミナーでは、さまざまな論理体系で用いられる複数の公理スキーマの強さを比較しました。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★