单词 | combinatory logic |
释义 | combinatory logicnoun : a branch of symbolic logic that deals especially with the notion of substitution and the eliminability of variables in favor of special function symbols |
随便看 |
|
英语词典包含469781条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。