Corrections for "On the lengths of proofs in the propositional calculus preliminary version"

Stephen A. Cook, Robert A. Reckhow. Corrections for "On the lengths of proofs in the propositional calculus preliminary version". SIGACT News, 6(3):15-22, 1974. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.