Corrections for "On the lengths of proofs in the propositional calculus preliminary version"
Stephen A Cook, Robert A. Reckhow · ACM SIGACT News · 1974
article Free Access Share on Corrections for "On the lengths of proofs in the propositional calculus preliminary version" Authors: Stephen Cook View Profile , Robert Reckhow View Profile Authors Info & Claims ACM SIGACT NewsVolume 6Issue 3July 1974 pp 15–22https://doi.org/10.1145/1008311.1008313Online:01 July 1974Publication History 12citation167DownloadsMetricsTotal Citations12Total Downloads167Last 12 Months2Last 6 weeks0 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF