Logical Dilemmas (The Life and Work of Kurt Gödel)