What is the Mathematical Logic? Required Book Course Aims and Assessment Syllabus & Learning Outcomes Problems & Homeworks (New) Internet Resources