00382nam a2200157Ia 450000100040000000500170000400800410002104100080006208200160007010000340008624500450012026000090016530000340017465000080020865400080021678620260306140543.0260306t2006||||xx |||||||||||||| ||spa||  aESP  a160.03bJ87  aPascual, Julián IranzoeAUT 0aLógica simbólica para informáticos  c2006  axxii, 299 páginas :c23 cm.  aGEN  aCHU