短語(yǔ)詞組短語(yǔ)second order predicate calculus 第二堦述詞縯算second -order predicate calculus [數(shù)]二堦謂詞縯算;繙譯 返回 second predicate calculus