Would also like to suggest to the list "Local Class Field Theory" by Iwasawa.