TY - BOOK AU - Falguera López,José Luis AU - Martínez Vidal,Concepción TI - Lógica clásica de primer orden: estrategias de deducción, formalización y evaluación semántica (Soluciones a los ejercicios) T2 - Colección Estructuras y procesos. Serie Filosofía SN - 8481642916 (O.C.) PY - 1999/// CY - Madrid PB - Trotta KW - Lógica KW - Tratados, manuales, etc ER -