Stephen A. Cook: The Complexity of Theorem-Proving Procedures
A short while ago, I noticed that Cook's theorem is only available for download in the 1971 typewriter version, hardly readable and with some typing errors. So, I decided to transliterate Cook's famous paper "The Complexity of Theorem-Proving Procedures" into TEX format.
My transliteration is available in DIN A4 and Letter format. If you find any errors, please contact me!
Download
| DIN A4 format: |  Cook1971_A4.pdf |
111 KB |
| Letter format: | Cook1971_Letter.pdf |
111 KB |
last modified: 10 Feb 2009