TY  - BOOK
AU  - Iranzo Pascual, Julián
TI  - Lógica simbólica para informáticos
SN  - 970-15-10722-0
U1  - 005.131 
PY  - 2005///
CY  - México
PB  - Alfaomega Grupo Editor
ER  -