Cours de Mathematical logic