View of omparison of the Complexities in Frege Proofs with Different Substitution Rules

Return to Article Details omparison of the Complexities in Frege Proofs with Different Substitution Rules Download Download PDF