TY  - BOOK
AU  - Iranzo, Pascual Julián
TI  - Lógica simbólica para informáticos
SN  - 970-15-1072-0
U1  - 005.131 
PY  - 2005///
CY  - México
PB  - Alfaomega
KW  - LOGICA
KW  - INFORMATICA
KW  - SEMANTICA
KW  - CALCULO
ER  -