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