TY - BOOK AU - Gonczarowski, Yannai A. & Nisan, Noam TI - Mathematical Logic Through Python SN - 9781108949477 U1 - 511.3 PY - 2022/// PB - Cambrdige KW - Computer Science ER -