Recomendar Item: Implementação de um provador de teoremas por resolução para lógicas modais normais

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