Various formulations of the intuitionistic propositional calculus
and their equivalence.  Currently missing is the elegant
formulation by Roy Dyckhoff.

Author: Frank Pfenning