Mathematical Logic and Computation - Avigad (Cambridge University Press, 2022)