Return to Article Details On Polynomially Equivalence of Minimal Frege Systems Download Download PDF