TY  - BOOK
AU  - Falguera López, José L
AU  - Martínez Vidal, Concepción
TI  - Lógica clásica de primer orden: estrategias de deducción, formalización y evaluación semántica 
SN  - 8481642916 (obra completa)
AV  - BC 128 F35.1999
PY  - 1999///
CY  - Madrid
PB  - Trotta
KW  - Lógica de primer orden
KW  - Lógica simbólica y matemática
N1  - Bibliografía (p. 477-482)
ER  -