The logician compared several deductive closures to determine which system was more robust.
その論理学者は、どの体系がより堅牢かを判断するために、いくつかの演繹的閉包を比較した。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
