Meaning of FUNCTIONAL CALCULUS

Pronunciation:			'fungkshunl 'kalkyulus
WordNet Dictionary
	Definition:		[n]  a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
	Synonyms:		predicate calculus
	See Also:		formal logic, mathematical logic, quantification, symbolic logic