Mathematical Logic: Part 2