Falguera López & Martínez Vidal: Lógica clásica de primer orden: estrategias de deducción,...

Preview:

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)