How NP got a new definition: Probabilistically Checkable Proofs (PCPs) & Approximation Properties of NP-hard problems SANJEEV ARORA PRINCETON UNIVERSITY.
Computation: The Mathematical Story
Gödel’s Incompleteness Theorem and the Birth of the Computer