Gödel's Incompleteness Theorems - Kennedy (Cambridge University Press, 2022)