MATH-LOGIC-2-RULES : MODULE

MATH-LOGIC-2-RULES is a module.

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

NEEDED-MODULES OTLSUGGEST MATH-LOGIC-2-WFFS THEOREMS REPLACE

MACRO-FILES ML2-PRIOR

FILES ML1-LOGIC0 ML2-LOGIC1A ML2-LOGIC1B ML2-LOGIC1C ML2-LOGIC2A ML2-LOGIC2B ML1-LOGIC3A ML1-LOGIC3B ML2-LOGIC4A ML2-LOGIC4B ML2-LOGIC4C ML2-LOGIC5A ML2-LOGIC5B ML2-LOGIC7A ML2-LOGIC7B ML2-LOGIC7C ML2-AXIOMS ML2-REPLACE ML2-HACKS

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage