Vista rápida Programas para deducción automatizada en lógica proposicional Referencia: 9788477860822