Lógica clásica de primer orden estrategias de deducción, formalización y evaluación semantica
Falguera López, José L.
Lógica clásica de primer orden estrategias de deducción, formalización y evaluación semantica José L. Felguera López, concepción Martínez Vidal - 482 p. il. 23 cm. - Colección estructura y procesos, serie filosofía .
Incluye: Bibliografía p. 477-482
8481642916
Lógica formal
Logica matematica
511.3 / FAL 1999
Lógica clásica de primer orden estrategias de deducción, formalización y evaluación semantica José L. Felguera López, concepción Martínez Vidal - 482 p. il. 23 cm. - Colección estructura y procesos, serie filosofía .
Incluye: Bibliografía p. 477-482
8481642916
Lógica formal
Logica matematica
511.3 / FAL 1999