Richard J. J. Lipton

• People, Problems, and Proofs : Essays from Gödel's Lost Letter
• The P=NP Question and Gödel’s Lost Letter