Mathematical Logic (I)Â