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]
@incollection{Cook23c,
title = {Feasibly Constructive Proofs and the Propositional Calculus (Preliminary Version)},
author = {Stephen A. Cook},
year = {2023},
doi = {10.1145/3588287.3588300},
url = {https://doi.org/10.1145/3588287.3588300},
researchr = {https://researchr.org/publication/Cook23c},
cites = {0},
citedby = {0},
pages = {193-218},
booktitle = {Logic, Automata, and Computational Complexity: The Works of Stephen A. Cook},
editor = {Bruce M. Kapron},
volume = {43},
series = {ACM Books},
publisher = {ACM},
isbn = {979-8-4007-0780-3},
}