Modern Algebra by Keith Nicholson

An Mathematical Introduction to Logic by Enderton

An introduction to Formal Languages and Automata by Linz