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