The theory of Gödel - Cellucci, Carlo 1940- (Springer, 2022)