Mathematical Logic Through Python