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 ISBN: 8481642916 Subjects--Topical Terms: Lógica formalLogica matematica Dewey Class. No.: 511.3 / FAL 1999