The interreducibility of the two logical systems was established by constructing effective translations between them.
二つの論理体系の相互還元可能性は、それらを相互に変換する有効な手続きを構成することで確立された。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
