A Tour Through Mathematical Logic Pdf