Title: the languages of logic