next up previous contents index
Next: Constructive Propositional Logic Up: Proofs Previous: Commands Needed for

Examples from Introductory Logic



Richard Eaton
Thu Sep 14 08:45:18 EDT 1995