TY  - GEN
AU  - Pérez Sedeño, Eulalia
TI  - Ejercicios de lógica
SN  - 84-323-0730-0
U1  - 160 
PY  - 1991///
CY  - Madrid
PB  - Siglo Veintiuno de España
KW  - FILOSOFÍA - LÓGICA - EJERCICIOS
KW  - LÓGICA - EJERCICIOS
N1  - Ejercicios de lógica.; Tipos de discurso; Formalización de lógica proposicional; Método de validación; Deducción natural (pruebas formales); Simbolización de predicados de primer orden; Cálculo de árboles.
ER  -