Lógica clásica de primer orden: estrategias de deducción, formalización y evaluación semántica. Soluciones a los ejercicios - Falguera López, José L; Martínez Vidal, Concepción (Colección Estructuras y Procesos. Serie Filosofía, 1999)