Return to Article Details A Simulation of Natural Deduction and Gentzen Sequent Calculus Download Download PDF