first course in mathematical logic pdf