functional_calculus
has definitions from the fields of mathematics,logic


1 
[ noun ] (mathematics,logic) a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
Synonyms Related terms 
* 
