Embed Size (px)
DESCRIPTION
pp. 194- 317José L. Falguera López & Concepción Martínez Vidal: Lógica clásica de primer orden: estrategias de deducción, formalización y ev. semántica, Madrid, 1999.En las páginas que falta por escanear está: Estrategias para la resolución de ejercicios en el SPO*, Estrategia general para resolución de ejercicios en el SPO*, Estrategias específicas de deducción, Reglas derivadas del SPO*, Estrategia general para la resolución de ejercicios de deducción.
Citation preview
(PÁGINAS QUE A QUIEN ESCANEABA NO LE
INTERESARON. DISCULPA LA MOLESTIA QUE
ESTO PUEDA CAUSARTE)
