Library Home || Full Table of Contents || Suggest a Link || Library Help
|New software to teach the fundamentals of logic and proof. Enables user/student to write error-free proofs by selecting rules of inference, axioms, etc. from convenient drop-down menus. Includes tutorial with exercises.|
|Resource Types:||Topic Tools Miscellaneous|
© 1994- Drexel University. All rights reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.