Kurt Gödel the genius of metamathematics - Brewer, William D. 1943- (Springer, 2022)