class 12 hsc maths mathematical logic notes