higher order predicate calculus

【计】 高阶谓词演算
在线英汉词典
相关词语