Mathematical logic: a first course