A specification of the logical relation of implication within non-classical logical systems.
1940s.
英语词典包含464360条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。