MATH-LOGIC-2-WFFS : MODULE

MATH-LOGIC-2-WFFS is a module.

It is loaded.
Defines wffs for Mathematical Logic II course.

NEEDED-MODULES WFF-PARSE MODE-ML

FILES ML2-CONST ML2-ABBREV ML2-ABBREV2

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage