Mathematical Logic UFBA