Reflections on Kurt Goedel - Wang, Hao (MIT Press, 1987)