Mathematical Logic and Formal Languages.