TY  - BOOK
AU  - Falguera López,José L.
TI  - Lógica clásica de primer orden: estrategias de deducción, formalización y evaluación semantica
SN  - 8481642916
U1  - 511.3 
PY  - 1999///
CY  - España
PB  - Trotta
KW  - Lógica formal
KW  - Logica matematica
N1  - Incluye: Bibliografía p. 477-482
ER  -