Lógica clásica de primer orden : estrategias de deducción, formalización y evaluación semántica
Falguera López, José L.
Lógica clásica de primer orden : estrategias de deducción, formalización y evaluación semántica José L. Falguera López, Concepción Martínez Vidal - Madrid Trotta D.L. 1999 - 167 páginas 23 cm - Estructuras y procesos . Filosofía .
Soluciones a los ejercicios Tomo 2 :
8481642916 (obra completa) 8481643181 (T. 2)
Lógica matemática
BC50 / .F35 1999
Lógica clásica de primer orden : estrategias de deducción, formalización y evaluación semántica José L. Falguera López, Concepción Martínez Vidal - Madrid Trotta D.L. 1999 - 167 páginas 23 cm - Estructuras y procesos . Filosofía .
Soluciones a los ejercicios Tomo 2 :
8481642916 (obra completa) 8481643181 (T. 2)
Lógica matemática
BC50 / .F35 1999