Logical Dilemmas: The Life and Work of Kurt Goedel by John Dawson
This authoritative biography of Kurt Goedel relates the life of this most important logician of our time to the development of the field. Goedel's seminal achievements that changed the perception and foundations of mathematics are explained in the context of his life from the turn of the century Austria to the Institute for Advanced Study in Princeton.