TY  - BOOK
AU  - Julián Iranzo,Pascual
TI  - Lógica simbólica para informáticos
SN  - 970-15-1072-0
AV  - QA76.9M35 I73
PY  - 2005///
CY  - México, D.F.
PB  - Alfaomega, Ra-Ma
KW  - Lógica simbólica y matemática
KW  - Matemáticas computacionales
ER  -