Algorithmic Game Theory
Noam Nisan & Tim Roughgarden & Eva Tardos & Vijay V. Vazirani
Mathematical Logic Through Python
Yannai A. Gonczarowski & Noam Nisan