Mathematical Logic through Python