TY  - BOOK
AU  - Guarin Vásquez, Hugo 
TI  - Introducción al simbolismo lógico / 
SN  - 9586042274 
U1  - 511.3 
PY  - 1990///
CY  - Sin lugar
PB  - Sin nombre, 
KW  - Lógica matemática
KW  - Lógica simbólica
KW  - Teoría de conjuntos
ER  -