higher order logic

【计】 高阶逻辑
在线英汉词典
相关词语