View of On Sizes of Linear and Tree-Like Proofs for any Formulae Families in Some Systems of Propositional Calculus

Return to Article Details On Sizes of Linear and Tree-Like Proofs for any Formulae Families in Some Systems of Propositional Calculus Download Download PDF