POD
Mathematical Logic Through Python
Noam Nisan / Yannai A. Gonczarowski