Lógica clásica de primer orden : estrategias de deducción, formalización y evaluación semántica - Falguera, José Luis (Trotta, 1999)