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!


DIN A4 format: Cook1971_A4.pdf 111 KB
Letter format: Cook1971_Letter.pdf 111 KB

last modified: 10 Feb 2009