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