Recomendar Item: Em direção à formalização das propriedades de normalização do sistema λex

Para recomendar esse Item a alguém, preencha o formulário abaixo. Campos marcados com um '*' são obrigatórios.