TY  - BOOK
T1  - Lógica clásica de primer orden : estrategias de deducción, formalización y evaluación semántica
T2  - Colección Estructuras y Procesos (Trotta). Serie Filosofía
A1  - Falguera, José Luis
A2  - Martínez Vidal, Concepción 1961-
LA  - Spanish
PP  - Madrid
PB  - Trotta
YR  - 1999
UL  - https://colectivo.uloyola.es/Record/T241909
CN  - 161
SN  - 84-8164-317-3 (v. 1.)
SN  - 84-8164-318-1 (v. 2.)
KW  - Lógica
ER  -