Mathematical logic through Python - Gonczarowski, Yannai 1981-; Nisan, Noam 1961- (Cambridge University Press, 2022)
Title from publisher's bibliographic system (viewed on 01 Sep 2022)