Formal languages in logic | lit.salon