Mathematical Logic (II)