logical system
(logic) A formal system.
plural of reenlistment
plural of Boshart
(Uralic linguistics, of verbs) Characterizing verbs or verbal affixes denoting actions that occur suddenly or sharply.
その数学者は証明を形式化するために新しい形式体系を開発した。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★