Quatifiers indicate a value set:
Back to ComputerTerms
FirstOrderPredicateLogicQuatifiers (last edited 2003-09-16 18:08:38 by yakko)