Falguera López & Martínez Vidal: Lógica clásica de primer orden: estrategias de deducción,...
45
-
Upload
mila-apellido -
Category
Documents
-
view
79 -
download
0
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.
Transcript of Falguera López & Martínez Vidal: Lógica clásica de primer orden: estrategias de deducción,...
(PÁGINAS QUE A QUIEN ESCANEABA NO LE
INTERESARON. DISCULPA LA MOLESTIA QUE
ESTO PUEDA CAUSARTE)