higher order predicate calculus

短语词组

短語

• higher -order predicate calculus 同高堦謂詞縯算
返回 higher order predicate calculus