Mathematical Logic through Python - Gonczarowski/Nisan (Cambridge University Press, 2022)