Next:
Formula-trees
Up:
A tool for studying
Previous:
Formula Tree Lab Applet
Short description of the formula-tree proof method
Subsections
Formula-trees
Proof-trees
The relationship between proof-trees and normal inhabitants of simple types
Sabine Broda