Title: People, Problems, and Proofs : Essays from Gödel's Lost Letter
Subjects: Computer science, Information technology