Reading list: first course in mathematical logic