A atual diretoria, eleita na Assembléia do XVIII Encontro Brasileiro de Lógica é: