Lógica clásica de primer orden : estrategias de deducción, formalización y evaluación semántica - Falguera, José Luis (Colección Estructuras y Procesos (Trotta). Serie Filosofía, 1999)