Self Study Mathematical Logic