исчисление - extended propositional calculus - functional calculus - many-valued propositional calculus - predicate calculus - propositional calculus - restricted predicate calculus
CALCULUS
Англо-русский перевод CALCULUS
Чибисова О.И., Смирнов Н.Н.. New English-Russian dictionary of biology. Новый Англо-Русский словарь по биологии. 2003