higher order predicate calculus

短语词组

短语

• higher -order predicate calculus 同高阶谓词演算
返回 higher order predicate calculus