Essays from Gödel's Lost Letter

People, Problems, and Proofs

Richard Lipton