首页 英汉 汉英 英英 词组 用法 例句 同义词 写作 俚语 缩写 词源 词根 法汉 德汉 日汉 俄汉 韩汉 西汉 意汉 泰汉 越汉
| 单词 | name variable |
| 释义 | > as lemmasname variable name variable n. ΚΠ 1941 Jrnl. Symbolic Logic 6 29 The variables introduced by generalization..are to comprise only ‘name-variables and relation-variables’. 1955 A. N. Prior Formal Logic 182 It would not be possible to lay it down..that in any thesis a description may be substituted for a name-variable. 1963 O. Wojtasiewicz tr. J. Łukasiewicz Elem. Math. Logic 103 We shall be concerned with a certain theory of name variables. < as lemmas |
| 随便看 |
英语词典包含1132095条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。