área de pesquisa Edson Barbosa da Silva Funcoes parciais recursivas e funcoes parcialmente Turing-computaveis: uma prova de equivalencia Logo e a gênese das estruturas elementares da programação do computador O Modelo Teleológico de Tomás de Aquino: Um Estudo da Lógica da Ação Humana Pablo Fernando Campos Pimentel
