Reflections on Kurt Goedel - Wang, Kurt (Bradford Book : MIT Press, 1987)