Logical dilemmas the life and work of Kurt Gödel - Dawson, John W. (Peters, 1997)