noun
: functional calculus in which quantification is applied only to variables of individuals or arguments — called also functional calculus of the first order
noun
: functional calculus in which quantification is applied only to variables of individuals or arguments — called also functional calculus of the first order
Webster's New International English Dictionary. Новый международный словарь английского языка Webster. 2012