TY  - BOOK
AU  - Falguera López,José L.
TI  - Lógica clasica de primer orden: estrategias de deducción, formalización y evaluación semantica(solución a los ejercicios)
SN  - 8481643181
U1  - 511.3 
PY  - 1999///
CY  - España
PB  - Trotta
KW  - Lógica - ejercicios
ER  -