Title: Formal Languages in Logic