Incompleteness : the proof and paradox of Kurt Godel - Goldstein, Rebecca, 1950 (W.W. Norton, 2005)