Fraleigh's abstract algebra text [1]. Sipser's Introduction to the Theory of Computation [2] is also excellent, and possibly of special interest to HN.

[1] http://www.amazon.com/First-Course-Abstract-Algebra-Edition/...

[2] http://www.amazon.com/Introduction-Theory-Computation-Michae...