Specialized Syntax

• Term Logic

• Set Arguments

• Set-Oriented Logical Connectives

• Numerical Quantifiers

• “Higher-Order” Logic

Previous slide

Next slide

Back to first slide

View graphic version