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