predicate calculus

相关单词

近义词

functional calculus, 函项演算

临近词

predicate, predicate on 返回 predicate calculus