Library Home || Full Table of Contents || 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- The Math Forum at NCTM. All rights reserved.