Title: Mathematical Logic Through Python