Book: Mathematical Logic through Python (2021)
logicthrupython.org