TY  - BOOK
AU  - Garrido,Manuel
TI  - Lógica simbólica
SN  - 84-309-3747-1
U1  - 164/G193l/2001 
PY  - 2005///
CY  - [Madrid, España] 
PB  - Tecnos, c2001
KW  - LOGICA MATEMATICA
N1  - Bibliografía: p. 537-540
ER  -