next up previous
Next: Formula-trees Up: A tool for studying Previous: Formula Tree Lab Applet

Short description of the formula-tree proof method



Subsections

Sabine Broda