Serge Lang's _Algebraic Number Theory_ has a lot of general theoretical material.