higher order predicate calculus 栏目: 英汉词典 查阅: 65次 【计】 高阶谓词演算在线英汉词典 标签:higher order predicate calculus,用法,音标,短语