Mathematical logic - Monk, J.D (Graduate text in mathematics, 1976)