Researchers examined several atomic formulae to verify the consistency of the logical system.
研究者たちは論理体系の整合性を検証するためにいくつかの原子論理式を調べた。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
