Corrections for “On the lengths of proofs in the propositional calculus Preliminary version (0)

by S A Cook, R A Reckhow
Venue:SIGACT News 6 (1974) 15–22. Reference: [5