相關(guān)單詞

近義詞

functional calculus, 函項(xiàng)演算

臨近詞

predicate, predicate on 返回 predicate calculus