Feasibly Constructive Proofs and the Propositional Calculus (Preliminary Version)

Stephen A. Cook

Browse the full STOC paper archive.