books.google.com - Kurt Gödel (1906 - 1978) was the most outstanding logician of the twentieth century, famous for his hallmark works on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum hypothesis. He is also noted for his work on constructivity,...http://books.google.com/books/about/Kurt_G%C3%B6del_Collected_Works_Volume_III.html?id=gDzbuUwma5MC&utm_source=gb-gplus-shareKurt Gödel: Collected Works: Volume III
