View of Proof Simplification in the Framework of Coherent Logic

Return to Article Details Proof Simplification in the Framework of Coherent Logic Download Download PDF