функциональное исчисление на китайском сущ. мат. 谓词演算 wèicí yǎnsuàn ; 函项演算 hán xiàng yǎnsuàn др. общ. 函数演算