Quatifiers indicate a value set:

Back to ComputerTerms

FirstOrderPredicateLogicQuatifiers (last edited 2003-09-16 18:08:38 by yakko)