books.google.ca - This volume commemorates the life, work, and foundational views of Kurt Gödel (1906-1978), most famous for his hallmark works on the completeness of first-order logic, the incompleteness of number theory, and the consistency - with the other widely accepted axioms of set theory - of the axiom of choice...http://books.google.ca/books/about/Kurt_G%C3%B6del_and_the_Foundations_of_Mathe.html?id=Tg0WXU5_8EgC&utm_source=gb-gplus-shareKurt Gödel and the Foundations of Mathematics
