Lógica clásica de primer orden :
Falguera López, José Luis.
Lógica clásica de primer orden : estrategias de deducción, formalización y evaluación semántica (Soluciones a los ejercicios) / José L. Falguera López, Concepción Martínez Vidal. - Madrid : Trotta, D.L. 1999.
167 p. ; 23 cm.
8481642916 (O.C.) 8481643181 (Tomo 2)
164(035)
Lógica clásica de primer orden : estrategias de deducción, formalización y evaluación semántica (Soluciones a los ejercicios) / José L. Falguera López, Concepción Martínez Vidal. - Madrid : Trotta, D.L. 1999.
167 p. ; 23 cm.
8481642916 (O.C.) 8481643181 (Tomo 2)
164(035)
