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