TY  - BOOK
AU  - Falguera López,José L.
AU  - Martínez Vidal,C.
TI  - Lógica clásica de primer orden : : estrategias de deducción, formalización y evaluación semántica / 
T2  - Colección Estructuras y procesos. Serie Filosofía
SN  - 84-8164-291-6
PY  - 1999///]
CY  - Madrid : 
PB  - Trotta, 
KW  - Lógica matemática
KW  - embne
N1  - t. 1. [Sin título] t. 2. Soluciones a los ejercicios
ER  -