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 / José L. Falguera López, Concepción Martínez Vidal. - Madrid : Trotta, D.L. 1999.
482 p. ; 23 cm.
Incluye referencias bibliográficas (p. 477-482)
8481642916 (O.C.) 8481643173 (Tomo I)
164(035)
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.
482 p. ; 23 cm.
Incluye referencias bibliográficas (p. 477-482)
8481642916 (O.C.) 8481643173 (Tomo I)
164(035)