MATH-LOGIC-1 : MODULE

MATH-LOGIC-1 is a module.

It is not loaded.
Defines wffs and rules for Mathematical Logic I course.

NEEDED-MODULES MATH-LOGIC-1-RULES

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage