Logic Language Characteristics
variables
quantification
scoping
ordering
conjunction and disjunction
Mike Dean
5 of 8