(logic) Without contractions.
contractionless
研究者たちは重複する仮定の必要性を排除する、縮約を含まない体系を提案した。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★