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