Feasibly Constructive Proofs and the Propositional Calculus (Preliminary Version) - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Stephen A. Cook. Feasibly Constructive Proofs and the Propositional Calculus (Preliminary Version). In Bruce M. Kapron, editor, Logic, Automata, and Computational Complexity: The Works of Stephen A. Cook. Volume 43 of ACM Books, pages 193-218, ACM, 2023. [doi]

The following publications are possibly variants of this publication:

Feasibly Constructive Proofs and the Propositional Calculus (Preliminary Version)Stephen A. Cook. stoc 1975: 83-97

On the Lengths of Proofs in the Propositional Calculus (Preliminary Version)Stephen A. Cook, Robert A. Reckhow. stoc 1974: 135-148

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

runs on WebDSL