膨润土微积分
sentential calculus───命题演算
predicate calculus───[数]谓词演算
renal calculus───n.[泌尿]肾结石（等于kidneystone）
sentential calculuses───命题演算
biliary calculus───胆石；胆结石
integral calculus───[数]积分学
lambda calculus───演算；微积分
sentential calculi───句子结石
predicate calculuses───[数]谓词演算