Mathematical logic through Python - Gonczarowski, Yannai 1981-; Nisan, Noam 1961- (Cambridge University Press, 2022)