Ernest Nagel – James R. Newman, (1958), Gödel’s Proof, Edited and with a New Foreword by Dougl