TY  - BOOK
AU  - Julián Iranzo Pascual
TI  - Lógica simbólica para informáticos
U1  - 005.131/J87 
PB  - San Marcos
ER  -