lower functional calculus
noun
: functional calculus in which quantification is applied only to variables of individuals or arguments
called also functional calculus of the first order
Love words? Need even more definitions?
Merriam-Webster unabridged
Share