sellout rated Gödel's proof: 4 stars June 28, 2015 Public Ernest Nagel: Gödel's proof (2001, New York University Press)Gödel's proof by Ernest Nagel