a branch of symbolic logic, concerned especially with the analysis of the processes of substitution and with the elimination of variables.
| 单词 | θ141093 |
| 释义 | the mind > mental capacity > philosophy > logic > predicate or propositional logic > [noun] > mathematical or symbolic logic > combinatory logic (2) combinatory logic1929 a branch of symbolic logic, concerned especially with the analysis of the processes of substitution and with the elimination of variables. Subcategories:— element of (1) |
| 随便看 |
|
英语词典包含1132095条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。