Explicit class field theory
From class field theory
Global Class-Field Theory
Local Class Field Theory