Sets and Proofs
Preview
S. Barry Cooper, John K. Truss. On. the. Complexity. of. the. Propositional.
Calculus. Pavel. Pudlak*. Mathematical. Institute,. Prague. Abstract We show that
research into the complexity of propositional proofs is related to various problems
in ...