TY  - BOOK
AU  - Iranzo,Pascual Julián
TI  - Lógica simbólica para informáticos 
SN  - 9701510720
AV  - QA76.9 I73 2005
PY  - 2005///
CY  - México : 
PB  - Alfaomega / Ra-Ma, 
KW  - Lemb
KW  - Lógica simbólica y matemática
KW  - Matemáticas computacionales
N1  - Incluye apèndice, bibliografìa e ìndice
ER  -