Text this: Formal languages in logic :