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!
|DIN A4 format:||Cook1971_A4.pdf||111 KB|
|Letter format:||Cook1971_Letter.pdf||111 KB|