Reflections on Kurt Gödel - Wang, Hao (MIT Pr., 1988)