Programas para deducción automatizada en lógica proposicionalAntonio Frias DelgadoProgramas para deducción automatizada en lógica proposicionalAntonio Frias Delgado