Publication:3140632
From MaRDI portal
zbMath0806.03038MaRDI QIDQ3140632
Publication date: 28 November 1993
03F20: Complexity of proofs
Related Items
The Deduction Theorem for Strong Propositional Proof Systems, The deduction theorem for strong propositional proof systems, Some remarks on lengths of propositional proofs, Logical Closure Properties of Propositional Proof Systems, On the correspondence between arithmetic theories and propositional proof systems – a survey