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

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]

This author has not been identified. Look up 'Stephen A. Cook' in Google

runs on WebDSL