Kurt Godel Related books Collected Works: Volume II: Publications 1938-1974 (Godel, Kurt//Collected Works) Oxford Univ Pr on Demand • 1989 Consistency of the Continuum Hypothesis. (AM-3) Princeton Univ Pr • 1940 On Formally Undecidable Propositions of Principia Mathematica and Related Systems Dover Pubns • 1992