People, Problems, and Proofs Essays from Gödel's Lost Letter: 2010 - Lipton, Richard J.; Regan, Kenneth W. (Springer Berlin Heidelberg : Imprint: Springer, 2013)