Term Logic

Every expression in SNePS is a term.

Previous slide

Next slide

Back to first slide

View graphic version