publicações selecionadas UMA CARACTERIZACAO UNIFORME PARA REPRESENTACAO DE SISTEMAS FORMAS: LOGICA MATEMATICA SUBJACENTE A TEORIA DA COMPUTACAO. SOBRE AS LOGICAS POLIVALENTES.