Kurt Gödel The Genius of Metamathematics - Brewer, William D. (Springer International Publishing,)